Re: Default PATH setting - reduce to something more sensible?

On 24.01.2025 22:42, Keith Thompson wrote:

 
~ is equivalent to $HOME in most contexts.  I suggest that assuming that
~, like $HOME, is expanded in double quotes is a very easy mistake to
make.  And the bash misfeature we're discussing can make it hard to
detect that mistake.

Yes, to both.

(It certainly helps to know the standard shell quoting mechanisms.
That's so basic that it cannot be overestimated and should always
be emphasized. - I've experienced that even regular, experienced
shell users don't seem to know the exact mechanism in all cases.)

Anyone reading the docs? :-)

Janis