Guest User

Untitled

a guest
Jun 24th, 2018
86
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.71 KB | None | 0 0
  1. #!/bin/bash
  2.  
  3. PHP_VERSIONS=(`ls -ld /usr/local/php5* | awk '{print $9}'`)
  4. CURRENT_VERSION=(`ls -ld /usr/local/php5 | awk '{print $11}'`)
  5. bold=$(tput bold)
  6. normal=$(tput sgr0)
  7.  
  8. num_versions=$(( ${#PHP_VERSIONS[@]} - 1 ))
  9. echo "Choose a PHP version... 1-${num_versions}"
  10.  
  11. for (( i=1; i < ${#PHP_VERSIONS[@]}; i++ )); do
  12. if [ "${PHP_VERSIONS[i]}" = ${CURRENT_VERSION} ]; then
  13. echo "${bold}$i. ${PHP_VERSIONS[i]}${normal}"
  14. else
  15. echo "$i. ${PHP_VERSIONS[i]}"
  16. fi
  17. done
  18.  
  19. unset i
  20. while [[ ! ${i} =~ ^[0-9]+$ ]]; do
  21. read i
  22. ! [[ ${i} -ge 1 && ${i} -lt ${#PHP_VERSIONS[@]} ]] && unset i
  23. done
  24.  
  25. echo "Using PHP" ${PHP_VERSIONS[i]}
  26.  
  27. sudo unlink /usr/local/php5
  28. sudo ln -s "${PHP_VERSIONS[i]}" /usr/local/php5
  29. php --version
Add Comment
Please, Sign In to add comment