From 9bccfc7792a5ca4bfe77cd8b9da5a9cea7831fb6 Mon Sep 17 00:00:00 2001 From: Alexander Garagatyi Date: Thu, 6 Apr 2017 12:25:36 +0300 Subject: [PATCH] CHE-4721: fix agents install scripts (#4723) Signed-off-by: Alexander Garagatyi --- agents/exec/src/main/resources/org.eclipse.che.exec.script.sh | 1 + .../src/main/resources/org.eclipse.che.terminal.script.sh | 1 + .../agent/src/main/resources/org.eclipse.che.ws-agent.script.sh | 1 + 3 files changed, 3 insertions(+) diff --git a/agents/exec/src/main/resources/org.eclipse.che.exec.script.sh b/agents/exec/src/main/resources/org.eclipse.che.exec.script.sh index 38a6778e9b..22d4dd94f2 100644 --- a/agents/exec/src/main/resources/org.eclipse.che.exec.script.sh +++ b/agents/exec/src/main/resources/org.eclipse.che.exec.script.sh @@ -20,6 +20,7 @@ command -v wget >/dev/null 2>&1 && WGET_INSTALLED=true # no curl, no wget, install curl if [ ${CURL_INSTALLED} = false ] && [ ${WGET_INSTALLED} = false ]; then PACKAGES=${PACKAGES}" curl"; + CURL_INSTALLED=true fi test "$(id -u)" = 0 || SUDO="sudo -E" diff --git a/agents/terminal/src/main/resources/org.eclipse.che.terminal.script.sh b/agents/terminal/src/main/resources/org.eclipse.che.terminal.script.sh index 435350e57b..70bc8310f0 100644 --- a/agents/terminal/src/main/resources/org.eclipse.che.terminal.script.sh +++ b/agents/terminal/src/main/resources/org.eclipse.che.terminal.script.sh @@ -20,6 +20,7 @@ command -v wget >/dev/null 2>&1 && WGET_INSTALLED=true # no curl, no wget, install curl if [ ${CURL_INSTALLED} = false ] && [ ${WGET_INSTALLED} = false ]; then PACKAGES=${PACKAGES}" curl"; + CURL_INSTALLED=true fi test "$(id -u)" = 0 || SUDO="sudo -E" diff --git a/wsagent/agent/src/main/resources/org.eclipse.che.ws-agent.script.sh b/wsagent/agent/src/main/resources/org.eclipse.che.ws-agent.script.sh index 4da6ab73b2..ad6d4e4a60 100644 --- a/wsagent/agent/src/main/resources/org.eclipse.che.ws-agent.script.sh +++ b/wsagent/agent/src/main/resources/org.eclipse.che.ws-agent.script.sh @@ -20,6 +20,7 @@ command -v wget >/dev/null 2>&1 && WGET_INSTALLED=true # no curl, no wget, install curl if [ ${CURL_INSTALLED} = false ] && [ ${WGET_INSTALLED} = false ]; then PACKAGES=${PACKAGES}" curl"; + CURL_INSTALLED=true fi test "$(id -u)" = 0 || SUDO="sudo -E"