On Mon, 27 Mar 2017 10:04:16 -0400 Daniel Mills <danielmil...@gmail.com> wrote: > > Because you want the positional parameters set with bash -s > to take precedence over anything set in the startup files. > Otherwise anything in .bashrc would simply override what you > set with bash -s. >
They could simply be copied. Modifying positional parameters with `set --` isn't supposed to modify the shell's behavior live, anyway. The command line is already parsed and options already set. So Bash should always use the original arguments specified on the command line, to pass them to the possible commands fed to its stdin, regardless of whether position parameters which could be made available to Bash initialization files are modified.