diff options
| -rw-r--r-- | zshrc | 4 |
1 files changed, 4 insertions, 0 deletions
@@ -352,6 +352,7 @@ upgrade-porter-chroots() { fi touch hosts/chroot-$i; echo $i; + preexec $i; ssh $i -t 'cd ~/chroot && for i in */; do echo; @@ -371,6 +372,7 @@ upgrade-porter-hosts() { fi touch hosts/$i; echo $i; + preexec $i; ssh $i -t ' sudo apt-get update && sudo apt-get dist-upgrade && @@ -386,6 +388,7 @@ upgrade-debian-hosts() { fi touch hosts/$i; echo $i; + preexec $i; ssh $i -t ' sudo apt-get update && sudo apt-get dist-upgrade && @@ -401,6 +404,7 @@ upgrade-systems() { fi; touch hosts/$i; echo $i; + preexec $i; ssh $i -t 'apt-get update && if [ -e /usr/bin/apt-get.distrib ]; then aptitude dist-upgrade; |