Hey Peter, it’s Peter. Just a quick reminder for when you forget the next time.
To download a file using cURL you can use either:
curl -O http://code.jquery.com/jquery-1.4.3.js
Which’ll download the file in question and store it with the same name as on the server. Or you can use
curl -o yourCleverNameHere.please http://code.jquery.com/jquery-1.4.3.js
Now you won’t need to look this up here next time.