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

7 lines
209 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
[[ $- == *i* ]] && [[ -f "$HOME/.bashrc" ]] && source "$HOME/.bashrc"