This commit is contained in:
Marco D'Agostini 2019-12-23 20:56:27 +00:00 committed by GitHub
parent 1c4319803b
commit 1e359614c7

View File

@ -17,16 +17,14 @@ pip3 install youtube-dl tldr
```bash
sudo add-apt-repository ppa:mdeguzis/libregeek
```
As of today, a bionic package is still not available, but the artful works!.
As of today, a bionic package is still not available, but the artful works!. https://github.com/AntiMicro/antimicro/issues
`sudo nano /etc/apt/sources.list.d/mdeguzis-ubuntu-libregeek-bionic.list` Replace `bionic` with `artful`
```bash
sudo apt update
sudo apt install antimicro
```
https://github.com/AntiMicro/antimicro/issues
https://gist.github.com/madacol/19f8c71ba98f484a4294ccfe90e88e6e
Put config file https://gist.github.com/madacol/19f8c71ba98f484a4294ccfe90e88e6e in `~/.config/antimicro`
## Web installs
- docker: https://download.docker.com