diff rDiff/bin/genarglist.sh @ 0:0f80a5141704

version 0.3 uploaded
author vipints
date Thu, 14 Feb 2013 23:38:36 -0500
parents
children
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/rDiff/bin/genarglist.sh	Thu Feb 14 23:38:36 2013 -0500
@@ -0,0 +1,14 @@
+#/bin/bash
+
+list=
+until [ -z $1 ] ; do
+	if [ $# != 1 ];
+	then
+		list="${list}$1:"
+	else
+		list="${list}$1"
+	fi
+	shift
+done
+echo $list
+