rc files distributing script
authorshort <>
Tue, 10 Jul 2001 18:30:04 +0000 (18:30 +0000)
committershort <>
Tue, 10 Jul 2001 18:30:04 +0000 (18:30 +0000)
bin/distini [new file with mode: 0755]

diff --git a/bin/distini b/bin/distini
new file mode 100755 (executable)
index 0000000..b3359c6
--- /dev/null
@@ -0,0 +1,17 @@
+#!/bin/sh
+for i in \
+ atrey.karlin.mff.cuni.cz \
+ k332.feld.cvut.cz \
+ ulab-1.ms.mff.cuni.cz \
+ gate.ericsson.cz \
+ alcor.ericsson.cz \
+ gps.geoinvest.cz \
+;do if [ "`hostname -f`" \!= $i ];then
+ echo -n $i
+ scp ~/.bashrc ~/.profile ~/.muttrc $i:
+ echo -n .
+ scp ~/.ssh/config ~/.ssh/authorized_keys $i:.ssh/
+ echo -n .
+ scp ~/bin/distini $i:bin/
+ echo
+fi;done