Replace the use of wget by curl in _install docs - Githubissues

gazebosim / docs

High-level Gazebo documentation that gets published to https://gazebosim.org/docs/

https://gazebosim.org/docs

44 stars 80 forks source link

Replace the use of wget by curl in _install docs #451

Closed j-rivero closed 3 weeks ago

j-rivero commented 3 weeks ago

There is a bug in the Harmonic instructions by using curl with the option of -O which is not the same than --output in curl but it is correct if you use grep. The PR changes all the occurrences of wget in supported install* docs to use curl instead of wget.

With curl:

--output <file> will write output to the
-O will write output to a file named the same than the remote file
will write output to stdout.

The PR also change to use https everywhere.