Changeset 1025


Ignore:
Timestamp:
2012-07-22T06:41:05+02:00 (2 years ago)
Author:
moo
Message:

devel: take command line args first

File:
1 edited

Legend:

Unmodified
Added
Removed
  • trunk/devel/run

    r1024 r1025  
    9090    type=$1 
    9191    shift 
     92    if [[ $# -gt 0 ]]; then 
     93        args=("$@") 
     94    fi 
    9295fi 
    9396 
    9497if [[ -z ${args[0]} ]]; then 
    95     args=("$@") 
    96     if [[ -z ${args[0]} ]]; then 
    97         args=(devel.php) 
    98     fi 
     98    args=(devel.php) 
    9999fi 
    100100 
Note: See TracChangeset for help on using the changeset viewer.