bug
This commit is contained in:
parent
8989f00231
commit
8655a95d37
|
@ -2502,14 +2502,14 @@ function awkdef() {
|
||||||
function lawkrun() {
|
function lawkrun() {
|
||||||
# wrapper pour lancer awk avec un script préparé par awkdef. Les définitions et
|
# wrapper pour lancer awk avec un script préparé par awkdef. Les définitions et
|
||||||
# les arguments sont séparés par --, e.g.
|
# les arguments sont séparés par --, e.g.
|
||||||
# awkrun var0=value0 var1=value1 -- input0 input1
|
# awkrun var0=value0 var1=value1 script -- input0 input1
|
||||||
local -a __ar_defs __ar_args
|
local -a __ar_defs __ar_args
|
||||||
while [ -n "$1" -a "$1" != "--" ]; do
|
while [ $# -gt 0 -a "$1" != "--" ]; do
|
||||||
__ar_defs=("${__ar_defs[@]}" "$1")
|
__ar_defs=("${__ar_defs[@]}" "$1")
|
||||||
shift
|
shift
|
||||||
done
|
done
|
||||||
shift
|
shift
|
||||||
while [ -n "$1" ]; do
|
while [ $# -gt 0 ]; do
|
||||||
__ar_args=("${__ar_args[@]}" "$1")
|
__ar_args=("${__ar_args[@]}" "$1")
|
||||||
shift
|
shift
|
||||||
done
|
done
|
||||||
|
|
Loading…
Reference in New Issue