Use .bash_profile that gets sourced by `bash --login`
See https://www.gnu.org/software/bash/manual/html_node/Bash-Startup-Files.html#Bash-Startup-Files
To test, see the steps in the issue.
Closes #24 (closed)
Edited by Pedro Pombeiro
See https://www.gnu.org/software/bash/manual/html_node/Bash-Startup-Files.html#Bash-Startup-Files
To test, see the steps in the issue.
Closes #24 (closed)