Re: Modifying $0?

[Davy Durham]

Paul Jarc wrote:

> Ah: "." sets the positional parameters if any are given, or leaves
> them unchanged otherwise.  So we can ensure that we specify at least
> one, and then get rid of it later:
>
> #!/bin/bash
> if [ "$0" != what-you-want ]; then
>  exec bash -c '. "$1" "$@"' what-you-want "$0" ${1+"$@"}
> fi
> shift
> ...
>
> So now the "." command is '. /path/to/script /path/to/script args...'.
> Even if there are no args, there is at least one extra argument for
> ".", so it will always set the positional parameters.  Then we shift
> off the duplicate /path/to/script.
>
>  
That's similar to what I ended up doing...  Here's the final result 
frrom all your help: (I wanted it all as a single line as well)

#!/bin/bash
[[ "$0" != what-i-want ]] && exec "$SHELL" -c 'source "$@"' what-i-want 
"$0" foo ${1+"$@"} || shift 1
...

So, I put the extra parameter outside the -c '...' parameter which seems 
to work fine too.  (Foresee any problems with that?)

Thanks yet again,
 Davy