diff --git a/bin/dev_command/changephp b/bin/dev_command/changephp index c39d8ce..3064b4b 100644 --- a/bin/dev_command/changephp +++ b/bin/dev_command/changephp @@ -1,35 +1,3 @@ -echo 'PHP configured version '${DEV_PHP}; +. ./php-change "$@"; -local versions="`dc php_versions`" v='' version='' dir=${DEV_WORKSPACE_PATH}; - -if [ -z "$1" ]; then - exit 0; -fi - -for v in ${versions}; do - if [ "$1" == "${v}" ]; then - version=${v}; - fi -done - -if [ -z "${version}" ]; then - echo 'Provide valid PHP version `dev changephp {VERSION}`'; - echo ${versions}; - exit 1; -fi - -if [ "${version}" == "${DEV_PHP}" ]; then - exit 2; -fi - -if [ -n "${DEV_PROJECTPATH}" ]; then - dir=${DEV_WORKSPACE_PATH}/DEV_PROJECTPATH}; -fi - -echo 'Update to '${version}; - -rm ${dir}/.php[1-9][0-9] >/dev/null 2>&1; -touch ${dir}/.${version}; - -exit 0; diff --git a/bin/dev_command/php-change b/bin/dev_command/php-change new file mode 100644 index 0000000..9b8b3e9 --- /dev/null +++ b/bin/dev_command/php-change @@ -0,0 +1,36 @@ + +echo 'PHP configured version '${DEV_PHP}; + +local versions="`dc php_versions`" v='' version='' dir=${DEV_WORKSPACE_PATH}; + +if [ -z "$1" ]; then + exit 0; +fi + +for v in ${versions}; do + if [ "$1" == "${v}" ]; then + version=${v}; + fi +done + +if [ -z "${version}" ]; then + echo 'Provide valid PHP version `dev changephp {VERSION}`'; + echo ${versions}; + exit 1; +fi + +if [ "${version}" == "${DEV_PHP}" ]; then + exit 2; +fi + +if [ -n "${DEV_PROJECTPATH}" ]; then + dir=${DEV_WORKSPACE_PATH}/${DEV_PROJECTPATH}; +fi + +echo 'Update to '${version}; + +rm ${dir}/.php[1-9][0-9] >/dev/null 2>&1; +touch ${dir}/.${version}; + +exit 0; +