From a48d3c82ffda0e374873bb2e425c1e63ad0c734d Mon Sep 17 00:00:00 2001 From: Spencer Killen Date: Tue, 21 Mar 2023 12:10:50 -0600 Subject: [PATCH] Update 'Dockerfile' --- Dockerfile | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/Dockerfile b/Dockerfile index 0dbd414..0069ea5 100644 --- a/Dockerfile +++ b/Dockerfile @@ -4,9 +4,8 @@ LABEL maintainer="sjkillen@ualberta.ca" 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 +RUN apt-get -qq install rlfe +RUN echo "alias sbcl='rlfe sbcl'" >> /home/$USERNAME/.bashrc ARG USERNAME=user ARG USER_UID=1000