feature/manual_and_auto_classpath_option #1

Merged
David merged 10 commits from feature/manual_and_auto_classpath_option into master 2022-08-12 18:40:10 +02:00
Showing only changes of commit 81dd7332c7 - Show all commits

View File

@ -35,7 +35,7 @@ THIS_PLATFORM=$(get_this_platform)
function get_latest_warp_link() { function get_latest_warp_link() {
local this_platform=$1 local this_platform=$1
local info local info
info=$(curl -fsSL https://git.kirby-link.dd-dns.de/api/v1/repos/public/warp/releases?draft=false&pre-release=false) info=$(curl -fsSL https://git.kirby-link.dd-dns.de/api/v1/repos/public/warp/releases)
if [[ $? != 0 ]]; then if [[ $? != 0 ]]; then
echo "Error: Failed to get information about releases" >&2 echo "Error: Failed to get information about releases" >&2
fail fail