This shows you the differences between two versions of the page.
Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
repository_stable [2019/12/14 19:39] – 8bit | repository_stable [2020/03/24 17:43] – pavroo | ||
---|---|---|---|
Line 5: | Line 5: | ||
==== Repository ==== | ==== Repository ==== | ||
- | Users of Debian " | + | Users of Debian " |
- | sudo nano / | + | sudo nano / |
and paste into the file: | and paste into the file: | ||
- | deb https:// | + | deb https:// |
- | | + | |
deb https:// | deb https:// | ||
| | ||
Line 36: | Line 36: | ||
Then install it: | Then install it: | ||
sudo dpkg -i / | sudo dpkg -i / | ||
- | sudo apt-key add / | + | sudo apt-key add / |
- | or get the key manually ('wget2' has to be installed): | + | or get the key manually ('wget' has to be installed): |
- | wget2 -O - https:// | + | wget -O - https:// |
<WRAP center box 75%> | <WRAP center box 75%> |