File tree 6 files changed +6
-6
lines changed
6 files changed +6
-6
lines changed Original file line number Diff line number Diff line change @@ -4,5 +4,5 @@ echo $GSH_LAST_ACTION
4
4
kill -9 " $( cat " $GSH_TMP /spell.pid" ) " 2> /dev/null
5
5
my_ps | awk ' /sleep|tail/ {print $1}' | xargs kill -9 2> /dev/null
6
6
7
- set -o monitor # monitor background processes (default)
7
+ [ -n " $GSH_NON_INTERACTIVE " ] || set -o monitor # monitor background processes (default)
8
8
rm -f " $GSH_TMP /spell.pid" " $GSH_TMP /$( gettext " spell" ) "
Original file line number Diff line number Diff line change @@ -50,7 +50,7 @@ _mission_init() {
50
50
return 0
51
51
}
52
52
53
- set +o monitor # do not monitor background processes
53
+ [ -n " $GSH_NON_INTERACTIVE " ] || set +o monitor # do not monitor background processes
54
54
# FIXME: for some unknown reason, this doesn't work if we start with this
55
55
# mission directly!
56
56
Original file line number Diff line number Diff line change @@ -5,4 +5,4 @@ kill -9 $(cat "$GSH_TMP/spell.pids" 2>/dev/null) 2>/dev/null
5
5
my_ps | awk ' /sleep|tail/ {print $1}' | xargs kill -9 2> /dev/null
6
6
rm -f " $GSH_TMP /spell-term.pids" " $GSH_TMP /spell.pids" " $GSH_TMP /$( gettext " spell" ) "
7
7
8
- set -o monitor # monitor background processes (default)
8
+ [ -n " $GSH_NON_INTERACTIVE " ] || set -o monitor # monitor background processes (default)
Original file line number Diff line number Diff line change @@ -64,7 +64,7 @@ _mission_init() {
64
64
return 0
65
65
}
66
66
67
- set +o monitor # do not monitor background processes
67
+ [ -n " $GSH_NON_INTERACTIVE " ] || set +o monitor # do not monitor background processes
68
68
# FIXME: for some unknown reason, this doesn't work if we start with this
69
69
# mission directly!
70
70
Original file line number Diff line number Diff line change @@ -21,4 +21,4 @@ rm -f "$GSH_TMP/$(gettext "mischievous_imp")"
21
21
find . -name " *_$( gettext " snowflake" ) " | sed ' 1,10d' | xargs rm -f
22
22
find . -name " *_$( gettext " coal" ) " | xargs rm -f
23
23
)
24
- set -o monitor # monitor background processes (default)
24
+ [ -n " $GSH_NON_INTERACTIVE " ] || set -o monitor # monitor background processes (default)
Original file line number Diff line number Diff line change @@ -97,7 +97,7 @@ _mission_init() {
97
97
return 0
98
98
}
99
99
100
- set +o monitor # do not monitor background processes
100
+ [ -n " $GSH_NON_INTERACTIVE " ] || set +o monitor # do not monitor background processes
101
101
# FIXME: for some unknown reason, this doesn't work if we start with this
102
102
# mission directly!
103
103
You can’t perform that action at this time.
0 commit comments