diff options
| author | cassio <cassiopc@gmail.com> | 2015-08-30 22:11:57 +0000 |
|---|---|---|
| committer | cassio <cassiopc@gmail.com> | 2015-08-30 22:11:57 +0000 |
| commit | dd3152be0442e577692067c5523da4f5ab9d9957 (patch) | |
| tree | dd11e8e3bd71404dd7675b8bc8d49f3655a0df61 /tools/etc/icpc/setup.sh | |
| parent | 9a3077369831bc66fd51bc9c5c276980dd74e046 (diff) | |
| download | boca-dd3152be0442e577692067c5523da4f5ab9d9957.tar.gz boca-dd3152be0442e577692067c5523da4f5ab9d9957.zip | |
multiple bugs to make submission by command line
Diffstat (limited to 'tools/etc/icpc/setup.sh')
| -rwxr-xr-x | tools/etc/icpc/setup.sh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/tools/etc/icpc/setup.sh b/tools/etc/icpc/setup.sh index da5a334..5d8838f 100755 --- a/tools/etc/icpc/setup.sh +++ b/tools/etc/icpc/setup.sh @@ -15,7 +15,8 @@ If this is supposed to be the server, then leave it empty\nIf there are multiple fi FIRSTBOCA=`echo $IP | cut -d';' -f1` echo "BOCASERVER=$FIRSTBOCA" > /etc/icpc/bocaserver.sh - if [ "`echo $IP | cut -d';' -f2-`" != "" ]; then + echo $IP | grep -q ';' + if [ "$?" == "0" ]; then echo "BOCASERVERS=`echo $IP | cut -d';' -f2-`" >> /etc/icpc/bocaserver.sh fi echo "$FIRSTBOCA boca boca" >> /etc/hosts |