Skip to content
Snippets Groups Projects
Commit 3b703a96 authored by efer's avatar efer
Browse files

write PATH to .bash_profile instead of .profile

parent 69cc457e
No related branches found
No related tags found
No related merge requests found
......@@ -135,8 +135,8 @@ elif [ ! -d $BIN_DIR ]; then
fi
$(echo $PATH | grep -o $BIN_DIR &>/dev/null)
if [ $? -ne 0 ]; then
echo -e "\nexport PATH=$PATH:$BIN_DIR" >> $H/.profile
source $H/.profile
echo -e "\nexport PATH=$PATH:$BIN_DIR" >> $H/.bash_profile
source $H/.bash_profile
fi
if [ ! -d $CONF_DIR ]; then
mkdir -p $CONF_DIR
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment