Install swi-prolog

pkoch · May 3, 2020 · fefac84 · fefac84
1 parent 71bb0eb
commit fefac84
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/.apt.sh b/.apt.sh
@@ -1,13 +1,17 @@
 #!/bin/bash
 sudo apt update
 
+sudo rm -f /etc/apt/sources.list.d/swi-prolog-ubuntu-*
+sudo apt-add-repository -y ppa:swi-prolog/devel
+
 sudo apt install \
   chrome-gnome-shell \
   curl \
   git \
   git-crypt \
   htop \
   ripgrep \
+  swi-prolog-nox \
   tree \
   vim \
 ;