01ed8ef136
GitOrigin-RevId: 20fc948445a6c22d4e8d5178e9a6bc6e1f5417c8
17 lines
223 B
Bash
17 lines
223 B
Bash
#! @shell@
|
|
|
|
declare -a args=()
|
|
|
|
token=$1
|
|
shift
|
|
|
|
while (( $# )); do
|
|
if [[ "$1" = "$token" ]]; then
|
|
mapfile -t -O $(("${#args[@]}" + 1)) args
|
|
else
|
|
args+=("$1")
|
|
fi
|
|
shift
|
|
done
|
|
|
|
exec "${args[@]}"
|