mirror of
https://github.com/pulsar-edit/pulsar.git
synced 2024-09-22 00:19:24 +03:00
15 lines
198 B
Plaintext
Executable File
15 lines
198 B
Plaintext
Executable File
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 $*
|
|
}
|