Ranger shortcut to open a new terminal in current directory
Put into action my realization that .profile should contain most of the configuration held in .bashrc and .profile.