#
# Note: this does not yet ensure that the profile is executed on shell
# startup. that can be added manually by editing your .bashrc file.
#
# Note: this does not yet ensure that the profile is executed on shell
# startup. that can be added manually by editing your .bashrc file.