14 Jan
2010
14 Jan
'10
2:50 p.m.
On 14 Jan 2010, at 19:00, Tom Lieber wrote:
On Thu, Jan 14, 2010 at 1:35 AM, Hans Aberg
wrote: What about running URLs, like this: chuck http://chuck.cs.princeton.edu/doc/examples/<file>.ck Is it already possible?
wget http://chuck.cs.princeton.edu/doc/examples/<file>.ck && chuck <file>.ck
Yes, one can use scripts; I attach one. Just make sure chuckurl is in the PATH, and run chuckurl http://chuck.cs.princeton.edu/doc/examples/<file>.ck It uses ftp, which works with http these days.
Not that your version wouldn't be nice. ;)
It is harder to write such scripts that work like chuck admitting URLs. Hans