Searched refs:CURLORWGET (Results 1 – 3 of 3) sorted by relevance
13 CURLORWGET=""61 CURLORWGET="wget"64 CURLORWGET="curl"82 …{ echo "$PROGNAME: $CURLORWGET http://www.debian.org/devel/wnpp/being_packaged failed." >&2; exit …86 … { echo "$PROGNAME: $CURLORWGET http://www.debian.org/devel/wnpp/requested failed." >&2; exit 1; }
25 CURLORWGET=""67 CURLORWGET="wget"70 CURLORWGET="curl"102 { echo "$PROGNAME: $CURLORWGET https://www.debian.org/devel/wnpp/orphaned failed" >&2; exit 1; }106 { echo "$PROGNAME: $CURLORWGET https://www.debian.org/devel/wnpp/rfa_bypackage" >&2; exit 1; }110 { echo "$PROGNAME: $CURLORWGET https://www.debian.org/devel/wnpp/help_requested" >&2; exit 1; }
101 CURLORWGET='curl';105 CURLORWGET='wget';115 if [ $CURLORWGET = 'curl' ]; then149 …sing curl failed, trying wget. ; echo Updating using curl failed, trying wget. ; CURLORWGET='wget';153 if [ $CURLORWGET = 'wget' ]; then221 if [ $CURLORWGET = 'curl' ]; then255 …sing curl failed, trying wget. ; echo Updating using curl failed, trying wget. ; CURLORWGET='wget';259 if [ $CURLORWGET = 'wget' ]; then