26 May
2009
26 May
'09
1:54 a.m.
which does shell command line expansion. This might be more than you want however as it also expands *.hs wildcards, arithmetic, quote removal, ~user paths, $env vars and (optionally) $(command) substitution. I don't think I'll have to deal with very complicated cases, just more or less static commands, maybe with ~ in the path. I guess I'll just go with a naive solution first, and expand it when needed.
Gergely -- http://www.fastmail.fm - Access all of your messages and folders wherever you are