From 6c26cf7b8064926c7d9680dae70b1bad35000b2c Mon Sep 17 00:00:00 2001 From: Spencer Killen Date: Tue, 21 Mar 2023 12:03:24 -0600 Subject: [PATCH] Update 'Dockerfile' --- Dockerfile | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/Dockerfile b/Dockerfile index dc1e7aa..0dbd414 100644 --- a/Dockerfile +++ b/Dockerfile @@ -2,8 +2,11 @@ FROM ubuntu:jammy # rlwrap segfaulted on :kinetic, so using jammy instead LABEL maintainer="sjkillen@ualberta.ca" -RUN apt-get -qq update && apt-get -qq install sudo gringo clasp time swi-prolog sbcl rlwrap -RUN apt-get -qq install git +RUN apt-get -qq update +RUN apt-get -qq install sudo gringo clasp time swi-prolog sbcl git +# rlwrap install is broken on jammy right now +# RUN apt-get -qq install rlwrap +# RUN echo "alias sbcl='rlwrap sbcl'" >> /home/$USERNAME/.bashrc ARG USERNAME=user ARG USER_UID=1000 @@ -19,4 +22,3 @@ RUN groupadd --gid $USER_GID $USERNAME \ USER $USERNAME -RUN echo "alias sbcl='rlwrap sbcl'" >> /home/$USERNAME/.bashrc