I must have done something to my environment in Ubuntu 17.10 as alias in the terminal no longer works. Probably/Maybe after a apt-get autoremove
(I guess).
Open a terminal and running echo $shell
shows nothing but an empty row. I run ps -p $$
and it shows that I'm in bash.
.bash_profile and alias are being recognized if I run source .bash_profile
.
What could have happened and what can I do to get alias working again without needing to run source
?
~/.bashrc
, which is sourced for non-login shells (such as those run in the desktop terminal emulator). BTWecho $shell
is not the same asecho $SHELL
– steeldriver Jan 28 '18 at 00:22.profile
or.bash_profile
, it wouldn't create aliases in bash run in GNOME Terminal. – muru Jan 28 '18 at 03:14