File: download.sh

package info (click to toggle)
mccode 3.5.19%2Bds5-2
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 1,113,256 kB
  • sloc: ansic: 40,697; python: 25,137; yacc: 8,438; sh: 5,405; javascript: 4,596; lex: 1,632; cpp: 742; perl: 296; lisp: 273; makefile: 226; fortran: 132
file content (15 lines) | stat: -rwxr-xr-x 336 bytes parent folder | download 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
 
#!/bin/sh
#
# Simple script for downloading stuff via curl or wget, depending on which is available...

HASCURL=`which curl | wc -l`
HASWGET=`which wget | wc -l`

if [ $HASCURL == 1 ]; then
    curl -O $*
elif [ $HASWGET == 1 ]; then
    wget $*
else
    echo "Sorry, neither wget nor curl found on your path - exiting!"
    exit 1;
fi