Re: Modifying $0?

[Davy Durham]

Paul Jarc wrote:

> Try this:
>
> #!/bin/sh
> if [ "$0" != what-you-want ]; then
>  exec /bin/sh -c '. "$@"' what-you-want "$0" ${1+"$@"}
> fi
> shift
> ...
>  
Okay, thanks for the explaination, I didn't consider using the source 
feature.

However, I'm not sure if this is a bug or what.  I would expect the 
above to work with using the unconditional shift after the fi.  But it's 
not working.  The shift apparently needs to be conditional.  If you 
actually try to run it (by putting this source into a file and invoking 
/bin/bash filename)  I think you'll discover that sometimes the $0 in 
the exec command results in a $1 and sometimes does not.. strange

I'm going to try to work around it with a conditional shift, but if you 
know why this is happening please let me know.

Thanks again,
 Davy