Skip to content

Instantly share code, notes, and snippets.

@IPv777
Last active July 26, 2018 19:20
Show Gist options
  • Select an option

  • Save IPv777/b34b4549f9a198cf897037505cc6e9d4 to your computer and use it in GitHub Desktop.

Select an option

Save IPv777/b34b4549f9a198cf897037505cc6e9d4 to your computer and use it in GitHub Desktop.
#!/bin/bash
echo "Clé manquante? "
read key
gpg --keyserver pgpkeys.mit.edu --recv-key $key \
&& gpg -a --export $key \
| sudo apt-key add -
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment