Shorten wget commands (#14211)

- **Description:** The commands can be more efficient if the output name
is set to the destined filename instead of renaming in the second
command.
pull/14252/head
Perry Lee 10 months ago committed by GitHub
parent e32185193e
commit 641e401ba8
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -93,12 +93,9 @@
}
],
"source": [
"!wget https://raw.githubusercontent.com/openai/openai-openapi/master/openapi.yaml\n",
"!mv openapi.yaml openai_openapi.yaml\n",
"!wget https://www.klarna.com/us/shopping/public/openai/v0/api-docs\n",
"!mv api-docs klarna_openapi.yaml\n",
"!wget https://raw.githubusercontent.com/APIs-guru/openapi-directory/main/APIs/spotify.com/1.0.0/openapi.yaml\n",
"!mv openapi.yaml spotify_openapi.yaml"
"!wget https://raw.githubusercontent.com/openai/openai-openapi/master/openapi.yaml -O openai_openapi.yaml\n",
"!wget https://www.klarna.com/us/shopping/public/openai/v0/api-docs -O klarna_openapi.yaml\n",
"!wget https://raw.githubusercontent.com/APIs-guru/openapi-directory/main/APIs/spotify.com/1.0.0/openapi.yaml -O spotify_openapi.yaml"
]
},
{

Loading…
Cancel
Save