scripts/monitor in rvm-0.1.39 vs scripts/monitor in rvm-0.1.40
- old
+ new
@@ -1,16 +1,12 @@
#!/usr/bin/env bash
-if [[ -z "$rvm_trace_flag" ]] ; then set +x ; else set -x ; fi
-
original_ruby_strings=$rvm_ruby_strings
original_ruby_string=$rvm_ruby_string
-source $rvm_scripts_path/rvm
+source "$rvm_scripts_path/base"
rvm_monitor_sleep="${rvm_monitor_sleep:-2}"
-
-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