Simplify adding team ID leading zero's.

icpc-live · Jun 29, 2013 · 844e2c3 · 844e2c3
1 parent 0039f5d
commit 844e2c3
Showing 1 changed file with 1 addition and 6 deletions.
diff --git a/recordteams/record.sh b/recordteams/record.sh
@@ -1,11 +1,6 @@
 #!/bin/bash
 
-id=$1
-if [ $id -lt 10 ]; then
-	id="00$id";
-elif [ $id -lt 100 ]; then
-	id="0$id";
-fi
+id=`printf %03d $1`
 
 ffmpeg -i http://192.168.1.141:60$id -vcodec copy -acodec copy -t 60 /share/recording/team$id-`date +%s`.avi > /dev/null 2> /dev/null
 mplayer /home/analyst10/Sonar_pings.ogg