#! /bin/bash set -e me=${0##*/} # --- Snarfle the arguments --- declare -a cmd declare -i i seq i=1 seq=0 for j; do file=$1; shift case "$file" in :*) file=$SVNROOT/${file#:};; esac cmd[i]=$file i=i+1 done # --- Run the program --- exec "${cmd[@]}"