5 Oct
2003
5 Oct
'03
4:17 p.m.
of course i mean the latter, as the former is already possible. and there being different methods is exactly what made me wonder about changing individual elements in argv.
but i think we all mean the same anyways.
essentially there are these different usefull operations:
set the name only, leaving the args intact set the args only, leaving the name unchanged (eg. to hide sensitive info) set the whole string remove the pike executable out of the string. (reduce "/usr/bin/pike foo.pike" to "foo.pike")
the last is a special case of the first, but should be possible without having to find out the name of the script.
greetings, martin.