Ich versuche, einige .gzDateien (NB keine .tar.gz) von angegebenen URLs herunterzuladen und zu dekomprimieren, um eventuell vorhandene Dateien zu überschreiben. Für jeden einzelnen Download habe ich Folgendes versucht: curl -O $URL | gunzip -f Dies führte jedoch nicht, wie es mit fehlgeschlagen:...