Changeset 1025

Timestamp:

07/22/2012 06:41:05 AM (10 months ago)

Author:

moo

Message:

devel: take command line args first

Files:

• trunk/devel/run (modified) (1 diff)

trunk/devel/run

@@ -90 +90 @@
     type=$1
     shift
+    if [[ $# -gt 0 ]]; then
+        args=("$@")
+    fi
 fi
 
 if [[ -z ${args[0]} ]]; then
-    args=("$@")
-    if [[ -z ${args[0]} ]]; then
-        args=(devel.php)
-    fi
+    args=(devel.php)
 fi