diff --git a/updatebin.sh b/updatebin.sh deleted file mode 100755 index af3044700851ae6bb9485a5546931f9915fe8528..0000000000000000000000000000000000000000 --- a/updatebin.sh +++ /dev/null @@ -1,14 +0,0 @@ -#!/bin/sh -echo "===== updating local bin..." -cd ~/bin ; git pull -echo "===== updating fabulous..." -ssh fabulous 'module load git ; cd ~/bin ; git pull' -echo "===== updating clifton..." -ssh clifton 'cd ~/bin ; git pull' -echo "===== updating gaston..." -ssh gaston 'cd ~/bin ; git pull' -echo "===== updating warson..." -ssh warson 'cd ~/bin ; git pull' -echo "===== updating vaillant..." -ssh vaillant 'cd ~/bin ; git pull' -echo "===== done."