Skip to content
Snippets Groups Projects
Commit 3213b5a1 authored by Juntong Liu's avatar Juntong Liu
Browse files

Fix the 2 indent problem to make the shift happy

parent 36130da0
No related branches found
No related tags found
1 merge request!40E3-341: Improve the shell prompt to display e3 info
Hide whitespace changes
Inline Side-by-side
require-ess/tools/setE3Env.bash
+ 6
− 6
View file @ 3213b5a1
...@@ -26,12 +26,12 @@ ...@@ -26,12 +26,12 @@
# #
if [[ "$0" == "${BASH_SOURCE[0]}" ]] if [[ "$0" == "${BASH_SOURCE[0]}" ]]
then then
echo echo
echo "##############################################################################################" echo "##############################################################################################"
echo "$0 is NOT properly sourced !" echo "$0 is NOT properly sourced !"
echo "##############################################################################################" echo "##############################################################################################"
echo echo
exit 1 exit 1
fi fi
# the following function drop_from_path was copied from # the following function drop_from_path was copied from
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment