Make curl quiet

jakobilab · Mar 19, 2023 · f52ef0c · f52ef0c
1 parent 7d250c9
commit f52ef0c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/circtools/scripts/wonderdump b/circtools/scripts/wonderdump
@@ -42,7 +42,7 @@ then
     URL="https://sra-pub-run-odp.s3.amazonaws.com/sra/$CLEAN_SRR/$CLEAN_SRR"
     echo "*** Downloading: $URL"
     echo "*** Saving to: $SRA_FILE"
-    curl $URL > $TMP_FILE
+    curl -s $URL > $TMP_FILE
 
     # Move to local file only if successful.
     mv $TMP_FILE $SRA_FILE