Re: last `set option value' always passed as $1 and $2 during a 'source' ??

[Paul Jarc]

Philip Lijnzaad <lijnzaad@ebi.ac.uk> writes:
> In fact, if you
> 
>   set foo bar
> 
> , this will result in $1 being 'foo' and $2 being 'bar' when doing a
> source somefile. So readline is irrelevant, and my question remains. 

man bash:
       source filename [arguments]
              ...  If any arguments are supplied, they become the
              positional parameters when filename is executed.
              Otherwise the positional parameters are unchanged.


paul