Well, that sounds pretty fantastic. Looks like it’s time to take another look
at Rash!
John
> On Jan 15, 2019, at 1:40 PM, William G Hatch wrote:
>
> On Tue, Jan 15, 2019 at 04:11:39PM -0500, 'John Clements' via Racket Users
> wrote:
>> Does rash have autocompletion of paths, yet? That’s my
On Tue, Jan 15, 2019 at 04:11:39PM -0500, 'John Clements' via Racket Users
wrote:
Does rash have autocompletion of paths, yet? That’s my one super-super wishlist
item.
It has some basic path autocompletion -- if you type `ls /e` and hit
tab it will complete to `ls /etc/`, and you can hit tab
Does rash have autocompletion of paths, yet? That’s my one super-super wishlist
item.
> On Jan 15, 2019, at 6:17 AM, 'Paulo Matos' via Racket Users
> wrote:
>
> I am surprised nobody mentioned Rash. I have been using it for all my
> shell scripting needs and it's awesome.
>
>
Oh, neat. Thank you.
On Tue, Jan 15, 2019 at 9:18 AM 'Paulo Matos' via Racket Users
wrote:
>
> I am surprised nobody mentioned Rash. I have been using it for all my
> shell scripting needs and it's awesome.
>
> https://pkgs.racket-lang.org/package/rash
>
> On 29/12/2018 05:09, David Storrs
I am surprised nobody mentioned Rash. I have been using it for all my
shell scripting needs and it's awesome.
https://pkgs.racket-lang.org/package/rash
On 29/12/2018 05:09, David Storrs wrote:
> I am using 'system' to offload some work onto wget and other
> applications in a few one-off scripts.
I agree with all of that -- it's definitely not a desirable thing on a
general basis. For this single use, with a well-defined use case and
known parameters, it would have been useful, but it's not critical.
Thanks for clarifying about the system* thing with putting -O in a
separate argument.
In a normal command line I would put single quotes around that and it
would be fine, or backwhack the /. Unfortunately, Racket disliked both
of those solutions, hence the problem.
That seems strange, if you're on a Unix like GNU/Linux or a BSD. I
might be misunderstanding, or maybe Racket
On Sat, Dec 29, 2018 at 2:25 PM Neil Van Dyke wrote:
>
>
> > /tmp/Sara's birthday, 9/12/01-18/181: No such file or directory
>
> The "/" in the filename is a separate problem, which actually has
> nothing to do with shell special character command line
> escaping/quoting. If you're on a Unix
On 2018-12-29 19:08, David Storrs wrote:
On Fri, Dec 28, 2018 at 11:34 PM Jack Rosenthal
wrote:
On Fri, 28 Dec 2018 at 23:09 -0500, David Storrs wrote:
> I am using 'system' to offload some work onto wget and other
> applications in a few one-off scripts. Is there an easy way to escape
> a
(system* "/usr/local/bin/wget" "http://google.com; "-O /tmp/fooflaksdjdghk")
The process wants "-O" here to be an argument by itself.
Okay, it's transforming -O into -o. Let's try the long form:
That happened because `wget` thought that you were still in the server
authority host part
On Fri, Dec 28, 2018 at 11:34 PM Jack Rosenthal wrote:
>
> On Fri, 28 Dec 2018 at 23:09 -0500, David Storrs wrote:
> > I am using 'system' to offload some work onto wget and other
> > applications in a few one-off scripts. Is there an easy way to escape
> > a string so it's suitable for usage in
David Storrs wrote on 12/28/18 11:09 PM:
I am using 'system' to offload some work onto wget and other applications in a
few one-off scripts. Is there an easy way to escape a string so it's suitable
for usage in the shell? Things like backwhacking all the quotes and relevant
spaces and such.
On Fri, 28 Dec 2018 at 23:09 -0500, David Storrs wrote:
> I am using 'system' to offload some work onto wget and other
> applications in a few one-off scripts. Is there an easy way to escape
> a string so it's suitable for usage in the shell? Things like
> backwhacking all the quotes and
I am using 'system' to offload some work onto wget and other
applications in a few one-off scripts. Is there an easy way to escape
a string so it's suitable for usage in the shell? Things like
backwhacking all the quotes and relevant spaces and such.
--
You received this message because you
14 matches
Mail list logo