[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Bug-wget] Tilde expansion not carried out in file_cmd

From: Micah Cowan
Subject: Re: [Bug-wget] Tilde expansion not carried out in file_cmd
Date: Thu, 14 Mar 2013 14:15:55 -0700
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/17.0 Thunderbird/17.0

On 03/14/2013 12:15 PM, Darshit Shah wrote:
> In fact I wrote this to specifically expand command line options, since
> bash     did not expand the tilde in the filename I gave through the
> command line.
> Here is the output I got.
> $ wget --post-file=~/vimrc www.example.com
>> --2013-03-15 00:31:54--  http://www.example.com/
>> POST data file ‘~/vimrc’ missing: No such file or directory
> In case you say, that the shell should have handled this, I guess it's an
> issue with bash, and I must work upstream to resolve it.

Not an issue with bash, either. Tilde expansion is only performed at the
beginning of a word. Try replacing the "=" with a space; then bash will
expand it and your problem is solved (assuming you really have a file
named "vimrc" in your $HOME, instead of the more usual and useful ".vimrc".


reply via email to

[Prev in Thread] Current Thread [Next in Thread]