From 44576090e23265ae3188e3b6cc02004f9a832e36 Mon Sep 17 00:00:00 2001 From: Romain Boman <romain.boman@gmail.com> Date: Fri, 9 Feb 2024 10:01:54 +0100 Subject: [PATCH] remove romain's private file --- updatebin.sh | 14 -------------- 1 file changed, 14 deletions(-) delete mode 100755 updatebin.sh diff --git a/updatebin.sh b/updatebin.sh deleted file mode 100755 index af30447..0000000 --- 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." -- GitLab