diff options
| author | Pfonks | 2021-05-21 20:58:59 +0200 |
|---|---|---|
| committer | Pfonks | 2021-05-21 20:58:59 +0200 |
| commit | b22a26dfdcd15c2ecceeb6d45ed10667177d2d04 (patch) | |
| tree | c1d684c66e5291bb793602ecd1051c8da4813349 /ssh/fsi-run-everywhere | |
| parent | fde700a6b1a99cd23d9babbafa66e9f69cee81dc (diff) | |
Removed references to lea after decommissioning
Diffstat (limited to 'ssh/fsi-run-everywhere')
| -rwxr-xr-x | ssh/fsi-run-everywhere | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/ssh/fsi-run-everywhere b/ssh/fsi-run-everywhere index efbe8ca..b9c113b 100755 --- a/ssh/fsi-run-everywhere +++ b/ssh/fsi-run-everywhere @@ -17,7 +17,7 @@ fi ## Note: ${parameter@Q} should also work. ## TODO: Might make sense to read commands interactively. -for host in "amy" "anja" "kim" "lara" "lea" "nina" "sessel" "sofa" "teri" "trinity"; do +for host in "amy" "anja" "kim" "lara" "nina" "sessel" "sofa" "teri" "trinity"; do echo "+ Host: $host" ssh "$host.fsi.uni-tuebingen.de" "$@" done |