Dockerfile

FROM jare/emacs

ARG WORKSPACE_ARG
ENV WORKSPACE=${WORKSPACE_ARG}
ENV PATH=$PATH:~/ciao/build/bin

# Update packages for ubuntu:lastest
RUN apt-get -y update > /dev/null 2>&1 && \
    apt-get -y install curl gcc git \
    > /dev/null 2>&1

# Download ciao prolog and install
RUN git clone https://github.com/ciao-lang/ciao.git /home/emacs/ciao
# || true To ignore an instalation error about LaTex dependencies
RUN /home/emacs/ciao/ciao-boot.sh get devenv --with-docs=no > /dev/null 2>&1 || true
CMD chown -R emacser:emacsers /home/emacs/

# Configure emacs
COPY add_to_emacs /home/emacs/add_to_emacs
RUN mkdir -p /home/emacs/.emacs.d/ && \
    touch /home/emacs/.emacs.d/init.el && \
    cat /home/emacs/add_to_emacs >> /home/emacs/.emacs.d/init.el && \
    echo "(setq default-directory \"${WORKSPACE}\")" >> /home/emacs/.emacs.d/init.el && \
    rm /home/emacs/add_to_emacs

# Clean
RUN apt-get clean && \
    apt-get -y autoremove