Advertisement
Guest User

Untitled

a guest
Jun 16th, 2019
78
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.29 KB | None | 0 0
  1. change_bash_version(){
  2.  
  3. if test "$1" == "3"; then
  4.  
  5. export PATH="$HOME/bash/versions/3.2.57:${PATH}"
  6.  
  7. elif test "$1" == "4"; then
  8.  
  9. export PATH="$HOME/bash/versions/4.4.18:${PATH}"
  10.  
  11. else
  12.  
  13. export PATH="$HOME/bash/versions/5.0:${PATH}"
  14.  
  15. fi
  16.  
  17. }
  18.  
  19. export -f change_bash_version
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement