Ich verwende curl, um eine Datei mit dem folgenden Befehl herunterzuladen.
curl -O https://s3.amazonaws.com/dl4j-distribution/GoogleNews-vectors-negative300.bin.gz Ich möchte es in einer Pipeline auf folgende Weise auspacken. curl -O url | entpacken Sie es und speichern Sie es hier im aktuellen Verzeichnis
Ich habe den folgenden Befehl verwendet, es funktioniert jedoch nicht. Ich bekomme "gzip: stdin: not in gzip format"irgendwelche Ideen, wie ich das erreichen kann?
curl -O https://s3.amazonaws.com/dl4j-distribution/GoogleNews-vectors-negative300.bin.gz | gunzip Ich möchte einfach so etwas erreichen:
download somecompressedfile | decompress it. oder so einfach wie folgt:
ls | grep test.gz | decrompess test.gz curl -o - https://s3.amazonaws.com/dl4j-distribution/GoogleNews-vectors-negative300.bin.gz | gunzip > ./GoogleNews-vectors-negative300.bin Erläuterung: steht
- für die Standardausgabe. Die Standardausgabe wird durch das Piping mit umgeleitet |.
Von Mann Curl :
Wenn Sie die Ausgabe als '-' (ein einzelner Strich) angeben, wird die Ausgabe auf stdout gesetzt.