init.sh: add prompt to run source ~/.bashrc

* The source command in the script does not take effect, since it is run
  by a new bash command.
This commit is contained in:
Zihao Yu
2019-09-10 21:52:19 +08:00
parent 54f2705ce0
commit e050a85dc0

View File

@ -29,13 +29,13 @@ case $input in
init nexus-am AM_HOME
init nanos-lite
init navy-apps NAVY_HOME
source ~/.bashrc
git add -A
git commit -am "$version initialized"$'\n\n'"$log"
echo "Initialization finishes!"
echo "By default this script will add environment variables into ~/.bashrc."
echo "After that, please run 'source ~/.bashrc' to let these variables take effect."
echo "If you use shell other than bash, please add these environment variables manually."
;;