Update 'Dockerfile'
This commit is contained in:
parent
6c26cf7b80
commit
a48d3c82ff
|
@ -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
|
||||
|
|
Loading…
Reference in New Issue