Clean unused bash script.
This commit is contained in:
parent
3a609e9133
commit
c651e96708
1 changed files with 0 additions and 14 deletions
|
@ -1,14 +0,0 @@
|
|||
if [ -t 0 ] ; then # If stdout is a terminal
|
||||
INTERACTIVE=1
|
||||
fi
|
||||
|
||||
polite_curl()
|
||||
{
|
||||
if [ $INTERACTIVE ] ; then
|
||||
CURL_ARGS="--progress-bar"
|
||||
else
|
||||
CURL_ARGS="-fsS"
|
||||
fi
|
||||
|
||||
curl $CURL_ARGS $*
|
||||
}
|
Loading…
Reference in a new issue