Why curl, not wget? #1827
ThePlenkov
started this conversation in
Ideas
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Uh oh!
There was an error while loading. Please reload this page.
-
Hi!
I just noticed that current adviced script is to curl file and execute it with bash:
Since curl is really bad in piping - isn't it better to use wget and replace these two command with just one:
I know it's like very minor thing - but I just thought - what's the point of downloading a file and excuting it if we can just pipe it directly.
Thanks!
Beta Was this translation helpful? Give feedback.
All reactions