This repository has been archived on 2022-02-20. You can view files and clone it, but cannot push or open issues/pull-requests.
bash-shell-base/setup/user/.bash_profile

6 lines
217 B
Bash
Raw Normal View History

#!/bin/bash
# uncomment for debugging
# echo ".bash_profile sourced at user $USER login"
# only source .bashrc if interactive login shell
2021-03-09 13:13:23 -08:00
[[ $SHELL_INTERACTIVE ]] && [[ -f "$HOME/.bashrc" ]] && source "$HOME/.bashrc"