jib.sh (1844:ba256c014bff) jib.sh (2056:9dc9039053d5)
1#!/bin/bash
2#
3# Copyright (c) 2015, Oracle and/or its affiliates. All rights reserved.
4# DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
5#
6# This code is free software; you can redistribute it and/or modify it
7# under the terms of the GNU General Public License version 2 only, as
8# published by the Free Software Foundation.

--- 75 unchanged lines hidden (view full) ---

84 echo "No jib server or URL provided, set either"
85 echo "JIB_SERVER=<base server address>"
86 echo "or"
87 echo "JIB_URL=<full path to install script>"
88 exit 1
89 fi
90
91 if command -v curl > /dev/null; then
1#!/bin/bash
2#
3# Copyright (c) 2015, Oracle and/or its affiliates. All rights reserved.
4# DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
5#
6# This code is free software; you can redistribute it and/or modify it
7# under the terms of the GNU General Public License version 2 only, as
8# published by the Free Software Foundation.

--- 75 unchanged lines hidden (view full) ---

84 echo "No jib server or URL provided, set either"
85 echo "JIB_SERVER=<base server address>"
86 echo "or"
87 echo "JIB_URL=<full path to install script>"
88 exit 1
89 fi
90
91 if command -v curl > /dev/null; then
92 getcmd="curl -s"
92 getcmd="curl -s -L --retry 3 --retry-delay 5"
93 elif command -v wget > /dev/null; then
94 getcmd="wget --quiet -O -"
95 else
96 echo "Could not find either curl or wget"
97 exit 1
98 fi
99
100 if ! command -v gunzip > /dev/null; then

--- 49 unchanged lines hidden --- 		93 elif command -v wget > /dev/null; then
94 getcmd="wget --quiet -O -"
95 else
96 echo "Could not find either curl or wget"
97 exit 1
98 fi
99
100 if ! command -v gunzip > /dev/null; then

--- 49 unchanged lines hidden ---