From de8594aee439e59c2ae40fcaec7c8591c5f6875a Mon Sep 17 00:00:00 2001 From: Nicole Tietz-Sokolskaya Date: Fri, 10 Feb 2012 22:12:51 -0500 Subject: [PATCH] Added a script to make my three servers pull in the new changes. --- push.sh | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100755 push.sh diff --git a/push.sh b/push.sh new file mode 100755 index 0000000..d520952 --- /dev/null +++ b/push.sh @@ -0,0 +1,11 @@ +#!/bin/bash + +places="nicholas@ntietz.com ntietz@neptune.cs.kent.edu ntietz@acm.cs.kent.edu" + +for each in $places +do + echo "Updating on $each..." + ssh $each "cd ~/Repositories/config; git pull" + echo "Done." +done +