Fix issue 268. Set PROFILE to .bashrc in case of ubuntu.
This commit is contained in:
parent
d3f04c793e
commit
df80f6a80c
|
|
@ -25,7 +25,9 @@ popd > /dev/null
|
|||
if [ ! -z "$1" ]; then
|
||||
PROFILE="$1"
|
||||
else
|
||||
if [ -f "$HOME/.bash_profile" ]; then
|
||||
if [ -f "$HOME/.bashrc" ]; then
|
||||
PROFILE="$HOME/.bashrc"
|
||||
elif [ -f "$HOME/.bash_profile" ]; then
|
||||
PROFILE="$HOME/.bash_profile"
|
||||
elif [ -f "$HOME/.profile" ]; then
|
||||
PROFILE="$HOME/.profile"
|
||||
|
|
|
|||
|
|
@ -23,7 +23,9 @@ echo
|
|||
if [ ! -z "$1" ]; then
|
||||
PROFILE="$1"
|
||||
else
|
||||
if [ -f "$HOME/.bash_profile" ]; then
|
||||
if [ -f "$HOME/.bashrc" ]; then
|
||||
PROFILE="$HOME/.bashrc"
|
||||
elif [ -f "$HOME/.bash_profile" ]; then
|
||||
PROFILE="$HOME/.bash_profile"
|
||||
elif [ -f "$HOME/.profile" ]; then
|
||||
PROFILE="$HOME/.profile"
|
||||
|
|
|
|||
Loading…
Reference in New Issue