diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2013-08-23 10:09:35 +0200 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2013-08-25 15:27:09 +0200 |
| commit | 67dcc66dbbe940d2ead770a0bfe1c74411b002e7 (patch) | |
| tree | 2bb64dcf23ee9c294b49e413443142996e856f0d /term | |
| parent | 7755215040bca03ac929dfd67fdf2c7dbd2068ea (diff) | |
utils: escape arguments in remap.sh
remap.sh uses /bin/sh to first change the working directory and then
execute the given program in the remap context. But the arguments
given on the command line were not properly escaped:
% '/bin/sh' '-c' 'echo $0'
/bin/sh
% remap '/bin/sh' '-c' 'echo $0'
<empty line>
% remap-fixed '/bin/sh' '-c' 'echo $0'
/bin/sh
* utils/remap.sh: Escape arguments handed to /bin/sh so that they are
not evaluated prematurely.
Diffstat (limited to 'term')
0 files changed, 0 insertions, 0 deletions