Groups | Search | Server Info | Keyboard shortcuts | Login | Register


Groups > gnu.bash.bug > #16794

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

From almahdi <budikusasi@gmail.com>
Newsgroups gnu.bash.bug
Subject How is the correct technique handle a dir. name under Home with space
Date 2020-08-23 04:58 -0700
Message-ID <mailman.852.1598183908.2469.bug-bash@gnu.org> (permalink)
References <1598183896339-0.post@n7.nabble.com>

Show all headers | View raw


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/

Back to gnu.bash.bug | Previous | Next | Find similar


Thread

How is the correct technique handle a dir. name under Home with space almahdi <budikusasi@gmail.com> - 2020-08-23 04:58 -0700

csiph-web