http://bash-edit.com/how-do-i-know-my-shell-type