scripts/monitor in rvm-0.0.9999 vs scripts/monitor in rvm-0.1.0
- old
+ new
@@ -7,10 +7,10 @@
source $rvm_scripts_path/rvm
rvm_monitor_sleep="${rvm_monitor_sleep:-2}"
-trap "rm -f $rvm_path/tmp/$$* > /dev/null 2>&1 ; exit" 0 1 2 3 15
+trap "rm -f $rvm_tmp_path/$$* > /dev/null 2>&1 ; exit" 0 1 2 3 15
timestamp() {
if [[ "Darwin" = "$(uname)" ]] ; then
echo $(stat -f "%m" $1)
else