public/warp4j
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases 3 Wiki Activity

release/1.0.0 #23

Merged
David merged 66 commits from release/1.0.0 into master 2024-05-20 20:56:54 +02:00
Conversation 0 Commits 66 Files Changed 11 +2 -1
1 changed files with 2 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files
Showing only changes of commit c00e159842 - Show all commits

3
install
View File

@ -77,7 +77,7 @@ function install() {
local link=$2 local link=$2
local temp_location="/tmp/$name" local temp_location="/tmp/$name"
echo "Downloading $name..." echo "Downloading $name..."
curl -fsSL -o "$temp_location" "$link" curl -fsSL -o $temp_location $link
if [[ $? != 0 ]]; then if [[ $? != 0 ]]; then
echo "Error: Failed to download $name" >&2 echo "Error: Failed to download $name" >&2
fail fail
@ -92,6 +92,7 @@ function install() {
echo "Error: Failed to install $name" >&2 echo "Error: Failed to install $name" >&2
fail fail
fi fi
rm $temp_location
} }
# returns missing dependencies # returns missing dependencies