chiark / gitweb /
bin/run-with-shell-env: Preserve the original argument list.
authorMark Wooding <mdw@distorted.org.uk>
Thu, 14 May 2020 13:48:37 +0000 (14:48 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Thu, 14 May 2020 13:48:37 +0000 (14:48 +0100)
commit731d391f94c8c8fd5f4f79199d644380b430e769
tree1d85d0a5fdf68b882c82f4704697f35ffb539650
parent08785e51dfecd7f2ebc801df58971c787c33ae47
bin/run-with-shell-env: Preserve the original argument list.

The `profile' script makes use of `set', which trashes the argument
list.  Capture it in a shell array at the start (because we're using
Bash here) and then run the target program from the array.
bin/run-with-shell-env