Groups
Sign in
Groups
gnu.bash.bug
Conversations
About
Send feedback
Help
info
Google Groups no longer supports new Usenet posts or subscriptions. Historical content remains viewable.
Dismiss
Learn more
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 AM
8/23/20
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Sign in to report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
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 AM
8/23/20
Delete
You do not have permission to delete messages in this group
Copy link
Report message
Sign in to report message
Show original message
Either email addresses are anonymous for this group or you need the view member email addresses permission to view the original message
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