I have been searching high and low for this answer, maybe it is a dead-end road I don\'t know. I am running Ubuntu 20.04 and I currently have this bash_profile:
