Posts tagged as:

bash shell

Asked by Chetan Joshi
Q. What is the best way to find out what shell I’m using. echo $SHELL is not so reliable. Please let me know any tiny command or trick.
A. Chetan, echo $SHELL should work. But here is old good UNIX trick. Use the command ps with -p {pid} option, which selects the processes [...]

{ 2 comments }

By default when you use FreeBSD’s BASH shell and if you hit Home, Del, Insert keys all of them just prints ~ (some garbage is printed ). To get rid of this problem, edit /etc/profile file and define key binding.
1) Open your bash global profile file:
# vi /etc/profile
2) Add following line to it:
export INPUTRC=/usr/local/etc/inputrc
3) Close [...]

{ 9 comments }