Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss

How is the correct technique handle a dir. name under Home with space

0 views
Skip to first unread message

almahdi

unread,
Aug 23, 2020, 7:58:30 AM8/23/20
to Bug-...@gnu.org
that needs to be used in such that dir. name is put in a way say:

n="~/foo bar"

if forced to do

$ pushd "$n"

when used in such

$ popd

bash: popd: ~/foo bar: No such file or directory

Any sincere guide to solve is invaluable helpful




--
Sent from: http://gnu-bash.2382.n7.nabble.com/

Robert Elz

unread,
Aug 23, 2020, 10:14:34 AM8/23/20
to almahdi, Bug-...@gnu.org
Date: Sun, 23 Aug 2020 04:58:16 -0700 (MST)
From: almahdi <budik...@gmail.com>
Message-ID: <1598183896...@n7.nabble.com>

| that needs to be used in such that dir. name is put in a way say:
|
| n="~/foo bar"

n=~/'foo bar'

or if you prefer n="${HOME}/foo bar" since ~/ is the same as ${HOME}/

kre


0 new messages