Closed lewellyn closed 9 years ago
As the shell does not currently support ~ expansion, I've grown weary of typing $HOME. This fixes that.
~
$HOME
"Lone tilde" (~ and ~/ without username specified) fixed by 2281c6c7c56de2b3d1eff69d937ae587ef309dfe and 4ebaae1e5f308497b9c5e0cf9136eaacfd6cf7d1.
~/
Reopening to track progress on the ~username case.
~username
As the shell does not currently support
~
expansion, I've grown weary of typing$HOME
. This fixes that.