2019-07-22 00:56:47 +02:00
|
|
|
FROM alpine:latest
|
2019-07-22 00:53:23 +02:00
|
|
|
|
|
|
|
|
RUN echo "@testing http://nl.alpinelinux.org/alpine/edge/testing" >> /etc/apk/repositories && \
|
|
|
|
|
apk update && \
|
2021-05-12 07:30:49 +02:00
|
|
|
apk add idris@testing && \
|
|
|
|
|
rm -rf /var/cache/apk/*
|
2019-07-22 00:53:23 +02:00
|
|
|
|
|
|
|
|
COPY run.sh /var/run/
|
