Something failed, how do I start the sudo from begining - do type exit and
retry everything again?
Here is what happened at the terminal:
ron@GNU:/$ wget https://jxself.org/gpg.inc
--2017-09-02 23:33:56-- https://jxself.org/gpg.inc
Resolving jxself.org (jxself.org)... 96.66.250.147
Connecting to jxself.org (jxself.org)|96.66.250.147|:443... connected.
HTTP request sent, awaiting response... 200 OK
Length: 5588 (5.5K) [text/plain]
gpg.inc: Permission denied
Cannot write to ‘gpg.inc’ (Success).
ron@GNU:/$ sudo apt-key add gpg.inc
gpg: can't open `gpg.inc': No such file or directory
ron@GNU:/$
