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