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