File tree 2 files changed +37
-33
lines changed
2 files changed +37
-33
lines changed Original file line number Diff line number Diff line change 1
1
2
- echo 'PHP configured version '${DEV_PHP} ;
2
+ . ./php-change "$@" ;
3
3
4
- local versions="`dc php_versions`" v='' version='' dir=${DEV_WORKSPACE_PATH};
5
-
6
- if [ -z "$1" ]; then
7
- exit 0;
8
- fi
9
-
10
- for v in ${versions}; do
11
- if [ "$1" == "${v}" ]; then
12
- version=${v};
13
- fi
14
- done
15
-
16
- if [ -z "${version}" ]; then
17
- echo 'Provide valid PHP version `dev changephp {VERSION}`';
18
- echo ${versions};
19
- exit 1;
20
- fi
21
-
22
- if [ "${version}" == "${DEV_PHP}" ]; then
23
- exit 2;
24
- fi
25
-
26
- if [ -n "${DEV_PROJECTPATH}" ]; then
27
- dir=${DEV_WORKSPACE_PATH}/DEV_PROJECTPATH};
28
- fi
29
-
30
- echo 'Update to '${version};
31
-
32
- rm ${dir}/.php[1-9][0-9] >/dev/null 2>&1;
33
- touch ${dir}/.${version};
34
-
35
- exit 0;
Original file line number Diff line number Diff line change
1
+
2
+ echo 'PHP configured version '${DEV_PHP};
3
+
4
+ local versions="`dc php_versions`" v='' version='' dir=${DEV_WORKSPACE_PATH};
5
+
6
+ if [ -z "$1" ]; then
7
+ exit 0;
8
+ fi
9
+
10
+ for v in ${versions}; do
11
+ if [ "$1" == "${v}" ]; then
12
+ version=${v};
13
+ fi
14
+ done
15
+
16
+ if [ -z "${version}" ]; then
17
+ echo 'Provide valid PHP version `dev changephp {VERSION}`';
18
+ echo ${versions};
19
+ exit 1;
20
+ fi
21
+
22
+ if [ "${version}" == "${DEV_PHP}" ]; then
23
+ exit 2;
24
+ fi
25
+
26
+ if [ -n "${DEV_PROJECTPATH}" ]; then
27
+ dir=${DEV_WORKSPACE_PATH}/${DEV_PROJECTPATH};
28
+ fi
29
+
30
+ echo 'Update to '${version};
31
+
32
+ rm ${dir}/.php[1-9][0-9] >/dev/null 2>&1;
33
+ touch ${dir}/.${version};
34
+
35
+ exit 0;
36
+
You can’t perform that action at this time.
0 commit comments