From 1c4319803b52b40e133da7f529a1dc2dd67c1803 Mon Sep 17 00:00:00 2001
From: Marco D'Agostini <madacol10@gmail.com>
Date: Mon, 23 Dec 2019 20:54:24 +0000
Subject: [PATCH]

---
 ubuntu 18 fresh install.md | 16 +++++++++++++++-
 1 file changed, 15 insertions(+), 1 deletion(-)

diff --git a/ubuntu 18 fresh install.md b/ubuntu 18 fresh install.md
index 290e3a3..bf54020 100644
--- a/ubuntu 18 fresh install.md	
+++ b/ubuntu 18 fresh install.md	
@@ -12,7 +12,21 @@ pip3 install youtube-dl tldr
 ```
 
 ## External Repositories
-- Antimicro `sudo add-apt-repository ppa:mdeguzis/libregeek && sudo apt update`
+
+### Antimicro
+```bash
+sudo add-apt-repository ppa:mdeguzis/libregeek
+```
+As of today, a bionic package is still not available, but the artful works!.
+
+`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
 
 ## Web installs
 - docker: https://download.docker.com