1. echo $SHELL
You will know your shell. If it's bash,then you should modify ".bashrc" or ".bash_profile",both is OK. But if is csh, .csh should be add the tolls lication.
2. which encounter
if system find the right $PATH, and if the license is OK, it will work.