Merge pull request #1912 from native-api/profile_sources_rc

Add a hint for cases when ~/.profile sources ~/.rc
This commit is contained in:
Anton Petrov 2021-05-10 06:09:25 +03:00 committed by GitHub
commit fd3c891d76
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -128,6 +128,10 @@ function help_() {
;; ;;
esac esac
echo echo
echo '# If your ~/.profile sources '"${profile}"','
echo '# the lines should be inserted before the part'
echo '# that does that.'
echo
echo '# Make sure to restart your entire logon session' echo '# Make sure to restart your entire logon session'
echo '# for changes to ~/.profile to take effect.' echo '# for changes to ~/.profile to take effect.'
echo echo