diff options
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 |