2
curl .gz file et le canaliser pour la décompression
J'essaie de télécharger certains .gzfichiers (NB pas .tar.gzceux) à partir des URL données et de les décompresser pour remplacer les fichiers existants, le cas échéant. Pour chaque téléchargement individuel, j'ai essayé ce qui suit: curl -O $URL | gunzip -f Cependant, cela ne fonctionne pas comme il a échoué avec: …