iankelling.org
/
git
/
distro-setup
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
various fixes and improvements
[distro-setup]
/
switch-mail-host
diff --git
a/switch-mail-host
b/switch-mail-host
index 9b4872db4b189c56245a3d31746976e027e855b9..8d4072b72e1dc29b823a535db168f5a11c41b4d5 100755
(executable)
--- a/
switch-mail-host
+++ b/
switch-mail-host
@@
-125,8
+125,15
@@
for ((i=0; i<10; i++)); do
sleep 1
if [[ i == 9 ]]; then
warn="WARNING!!! failed to kill arbtt-capture"
sleep 1
if [[ i == 9 ]]; then
warn="WARNING!!! failed to kill arbtt-capture"
- fi
- done
+ fi
+done
+for ((i=0; i<10; i++)); do
+ $new_shell killall arbtt-capture || break
+ sleep 1
+ if [[ i == 9 ]]; then
+ warn="WARNING!!! failed to kill arbtt-capture"
+ fi
+done
$new_shell bash -s <<'EOF'
$new_shell bash -s <<'EOF'