manage-tools script contained some git merge artifacts, which broke the script

This commit is contained in:
Michael Rodler 2016-06-01 13:55:49 +02:00
parent ab6c90eaab
commit 6dd094a8a9

View file

@ -162,14 +162,10 @@ case $ACTION in
base_build_setup "$DISTRI"
<<<<<<< HEAD
echo "PATH=\"$PWD/bin:\$PATH\"" >> ~/.bashrc
if [ -e ~/.zshrc ]
then
=======
if [ -e ~/.zshrc ]
then
>>>>>>> 82571b6917b6dbb212e722d35c6f7d2d99b7e0cb
echo "PATH=\"$PWD/bin:\$PATH\"" >> ~/.zshrc
fi