Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]


Groups > gnu.bash.bug > #16795

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

From Robert Elz <kre@munnari.OZ.AU>
Newsgroups gnu.bash.bug
Subject Re: How is the correct technique handle a dir. name under Home with space
Date 2020-08-23 21:14 +0700
Message-ID <mailman.871.1598192072.2469.bug-bash@gnu.org> (permalink)
References <1598183896339-0.post@n7.nabble.com> <3719.1598192044@jinx.noi.kre.to>

Show all headers | View raw


    Date:        Sun, 23 Aug 2020 04:58:16 -0700 (MST)
    From:        almahdi <budikusasi@gmail.com>
    Message-ID:  <1598183896339-0.post@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

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


Thread

Re: How is the correct technique handle a dir. name under Home with space Robert Elz <kre@munnari.OZ.AU> - 2020-08-23 21:14 +0700

csiph-web