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