Tag curl

wget/curl

Some useful wget and curl commands, such as downloading a repository.