Advertisement
Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- change_bash_version(){
- if test "$1" == "3"; then
- export PATH="$HOME/bash/versions/3.2.57:${PATH}"
- elif test "$1" == "4"; then
- export PATH="$HOME/bash/versions/4.4.18:${PATH}"
- else
- export PATH="$HOME/bash/versions/5.0:${PATH}"
- fi
- }
- export -f change_bash_version
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement