Re: how to save "$@", shift and reset $@ ?

[Paul Jarc]

gk <gk@proliberty.com> wrote:
> Thanks for the great ideas.
> This does the trick for me:
>
> #!/usr/local/bin/bash
>
> echo num params=$#
> saved=("$@")
> echo 'set -- $saved'
> set -- $saved

I think that should be:
set -- "${saved[@]}"
Otherwise, you'll only get the first argument, and it'll be split.


paul