On 02/24/2018 01:45 AM, Bob Goodwin wrote:
That doesn't seem to work, perhaps a reboot is needed?
Either close the terminal and open a new one or do this: source .bashrc _______________________________________________ users mailing list -- users@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to users-leave@xxxxxxxxxxxxxxxxxxxxxxx