From a2854eaae0b2b9306d892228a162263148e80a8e Mon Sep 17 00:00:00 2001
From: Andreas Rammhold <andreas@rammhold.de>
Date: Thu, 13 May 2021 20:35:35 +0200
Subject: [PATCH] Expand the -# flag in fetch-from-pypi.sh

---
 fetch-from-pypi.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/fetch-from-pypi.sh b/fetch-from-pypi.sh
index 398360f..e56dee6 100644
--- a/fetch-from-pypi.sh
+++ b/fetch-from-pypi.sh
@@ -9,7 +9,7 @@ curl="curl            \
  --cookie-jar cookies \
  --insecure           \
  --speed-time 5       \
- -#                   \
+ --progress-bar       \
  --fail               \
  $curlOpts            \
  $NIX_CURL_FLAGS"