Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
~ wget https://raw.githubusercontent.com/technomancy/leiningen/stable/bin/lein --2017-06-14 19:57:44-- https://raw.githubusercontent.com/technomancy/leiningen/stable/bin/lein
Resolving raw.githubusercontent.com (raw.githubusercontent.com)... 151.101.8.133
Connecting to raw.githubusercontent.com (raw.githubusercontent.com)|151.101.8.133|:443... connected.
HTTP request sent, awaiting response... 200 OK
Length: 12871 (13K) [text/plain]
Saving to: ‘lein’
lein 100%[==========================================================>] 12.57K --.-KB/s in 0.007s
2017-06-14 19:57:45 (1.72 MB/s) - ‘lein’ saved [12871/12871]
~ sudo mv lein /usr/local/bin/lein
[sudo] password for joy:
~ sudo chmod a+x /usr/local/bin/lein
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment