Skip to content
Snippets Groups Projects
Commit 0149d3cc authored by Robert Martin-Legene's avatar Robert Martin-Legene
Browse files

Avoid errors from .bashrc if user removes bfa/

parent 8fed6328
No related branches found
No related tags found
No related merge requests found
......@@ -167,7 +167,7 @@ function userconfig
if [ $( expand < .bashrc | grep -E "source ${BFAHOME}/bin/env" | wc -l ) -eq 0 ]
then
info "Adding to automatically source ${BFAHOME}/bin/env via .bashrc"
echo "source ${BFAHOME}/bin/env" >> .bashrc
echo "test -r ${BFAHOME}/bin/env && source ${BFAHOME}/bin/env" >> .bashrc
fi
# cloning if not done already, or just update (pull)
if [ ! -d "$BFAHOME" ]
......
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