We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent f8bda16 commit 10d76b8Copy full SHA for 10d76b8
src/phpactor/devcontainer-feature.json
@@ -1,7 +1,7 @@
1
{
2
"name": "phpactor",
3
"id": "phpactor",
4
- "version": "1.0.1",
+ "version": "1.0.2",
5
"description": "Installs the phpactor language server for php.",
6
"options": {
7
"version": {
src/phpactor/install.sh
@@ -4,7 +4,9 @@ set -ex
PHPACTOR_INSTALL_DIR="/opt/phpactor"
-git clone -b "${VERSION}" -- https://github.com/phpactor/phpactor "${PHPACTOR_INSTALL_DIR}"
+if [ ! -d "${PHPACTOR_INSTALL_DIR}" ]; then
8
+ git clone -b "${VERSION}" -- https://github.com/phpactor/phpactor "${PHPACTOR_INSTALL_DIR}"
9
+fi
10
11
cd "${PHPACTOR_INSTALL_DIR}"
12
0 commit comments