Skip to content

Instantly share code, notes, and snippets.

@finico
Created July 6, 2015 09:13
Show Gist options
  • Select an option

  • Save finico/87065b32f728f6227ebc to your computer and use it in GitHub Desktop.

Select an option

Save finico/87065b32f728f6227ebc to your computer and use it in GitHub Desktop.

Revisions

  1. finico created this gist Jul 6, 2015.
    1 change: 1 addition & 0 deletions apt-key
    Original file line number Diff line number Diff line change
    @@ -0,0 +1 @@
    sudo apt-key adv --keyserver-options http-proxy="http://user:password@host:port" --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys $KEY$