RetroSearch Browse

Showing content from https://github.com/arduino/arduino-cli/commit/812e621cdbd1e046c61488f749971a384a086be7 below:

File tree Expand file treeCollapse file tree 1 file changed

-2

lines changed

Filter options

Expand file treeCollapse file tree 1 file changed

-2

lines changed Original file line number Diff line number Diff line change


 @@ -10,6 +10,7 @@ PROJECT_NAME="arduino-cli"

10 10


 # BINDIR represents the local bin location, defaults to ./bin.

11 11


 EFFECTIVE_BINDIR=""

12 12


 DEFAULT_BINDIR="$PWD/bin"

13

+
 TEMPDIR="${TMPDIR:-${TEMP:-${TMP:-/tmp}}}"

13 14 14 15


 fail() {

15 16


 echo "$1"


 @@ -137,7 +138,7 @@ downloadFile() {

137 138


 esac

138 139


 DOWNLOAD_URL="${DOWNLOAD_URL_PREFIX}${APPLICATION_DIST}"

139 140 140

-
 INSTALLATION_TMP_FILE="/tmp/$APPLICATION_DIST"

141

+
 INSTALLATION_TMP_FILE="${TEMPDIR}/$APPLICATION_DIST"

141 142


 echo "Downloading $DOWNLOAD_URL"

142 143


 httpStatusCode=$(getFile "$DOWNLOAD_URL" "$INSTALLATION_TMP_FILE")

143 144


 if [ "$httpStatusCode" -ne 200 ]; then


 @@ -186,7 +187,7 @@ downloadFile() {

186 187

187 188 188 189


 installFile() {

189

-
 INSTALLATION_TMP_DIR="/tmp/$PROJECT_NAME"

190

+
 INSTALLATION_TMP_DIR="${TEMPDIR}/$PROJECT_NAME"

190 191


 mkdir -p "$INSTALLATION_TMP_DIR"

191 192


 if [ "$OS" = "Windows" ]; then

192 193


 unzip -d "$INSTALLATION_TMP_DIR" "$INSTALLATION_TMP_FILE"

You can’t perform that action at this time.

RetroSearch is an open source project built by @garambo | Open a GitHub Issue

Search and Browse the WWW like it's 1997 | Search results from DuckDuckGo

HTML: 3.2 | Encoding: UTF-8 | Version: 0.7.4