Between the various parameters that can be included in the
the current working directory, with $HOME abbreviated with a tilde (uses the value of the PROMPT_DIRTRIM variable)
as stated in the Bash manual.
$HOME is set to
/home/myuser/ (the same value specified in
/etc/passwd), but the expansion of
/home/myuser when I am in the
$HOME directory. So, it is not «abbreviated with a tilde».
I am Using Ubuntu 16.04 with
GNU bash, version 4.3.48(1)-release (x86_64-pc-linux-gnu).
What's wrong? What is the source from where
\w actually copies the path of the current directory?