diff options
author | Martin Aeschlimann <martinae@microsoft.com> | 2022-04-25 15:57:47 +0300 |
---|---|---|
committer | Martin Aeschlimann <martinae@microsoft.com> | 2022-04-25 15:57:47 +0300 |
commit | 0c598d076b4270b8c9385a0327613e55a8577ff5 (patch) | |
tree | 3c9400ac4ef9af1ac9e4b382cad4e9728e3aca40 /resources | |
parent | 931997875ed6d37d59345170a07e3e55e4deedfb (diff) |
darwin server scripts: apply shellcheck
Diffstat (limited to 'resources')
-rw-r--r-- | resources/server/bin/code-server-darwin.sh | 2 | ||||
-rw-r--r-- | resources/server/bin/helpers/browser-darwin.sh | 4 | ||||
-rw-r--r-- | resources/server/bin/remote-cli/code-darwin.sh | 4 |
3 files changed, 5 insertions, 5 deletions
diff --git a/resources/server/bin/code-server-darwin.sh b/resources/server/bin/code-server-darwin.sh index 04c5d7475da..0d4459a8035 100644 --- a/resources/server/bin/code-server-darwin.sh +++ b/resources/server/bin/code-server-darwin.sh @@ -17,7 +17,7 @@ realdir() { echo "$( cd -P "$(dirname "$SOURCE")" >/dev/null 2>&1 && pwd )" } -ROOT=$(dirname "$(realdir "$0")") +ROOT="$(dirname "$(realdir "$0")")" "$ROOT/node" ${INSPECT:-} "$ROOT/out/server-main.js" "$@" diff --git a/resources/server/bin/helpers/browser-darwin.sh b/resources/server/bin/helpers/browser-darwin.sh index e4cb8721844..1f039b40812 100644 --- a/resources/server/bin/helpers/browser-darwin.sh +++ b/resources/server/bin/helpers/browser-darwin.sh @@ -1,4 +1,4 @@ -#!/usr/bin/env sh +#!/usr/bin/env bash # # Copyright (c) Microsoft Corporation. All rights reserved. # @@ -12,7 +12,7 @@ realdir() { echo "$( cd -P "$(dirname "$SOURCE")" >/dev/null 2>&1 && pwd )" } -ROOT"$(dirname "$(dirname "$(realdir "$0")")")" +ROOT="$(dirname "$(dirname "$(realdir "$0")")")" APP_NAME="@@APPNAME@@" VERSION="@@VERSION@@" diff --git a/resources/server/bin/remote-cli/code-darwin.sh b/resources/server/bin/remote-cli/code-darwin.sh index cffa18ec908..2fc27c16ee4 100644 --- a/resources/server/bin/remote-cli/code-darwin.sh +++ b/resources/server/bin/remote-cli/code-darwin.sh @@ -1,4 +1,4 @@ -#!/usr/bin/env sh +#!/usr/bin/env bash # # Copyright (c) Microsoft Corporation. All rights reserved. # @@ -12,7 +12,7 @@ realdir() { echo "$( cd -P "$(dirname "$SOURCE")" >/dev/null 2>&1 && pwd )" } -ROOT"$(dirname "$(dirname "$(realdir "$0")")")" +ROOT="$(dirname "$(dirname "$(realdir "$0")")")" APP_NAME="@@APPNAME@@" VERSION="@@VERSION@@" |