home | list info | list archive | date index | thread index

Re: expansion of tilde for home directory

On 2021-06-17 10:55 a.m., J C Nash wrote:
DIR="~/Something/"
if [ -d "$DIR" ]; then


    DIR=~/Something/
    if [ -d "$DIR" ]; then

or

    DIR=~/"Something with spaces/"
    if [ -d "$DIR" ]; then