]>
Commit | Line | Data |
---|---|---|
3d62f625 | 1 | FROM node:9 |
105cd287 DG |
2 | |
3 | MAINTAINER Risto Stevcev | |
3d62f625 | 4 | ENV PURESCRIPT_DOWNLOAD_SHA1 f01eb69aa71f5f97c6980f8c68d107480c68ee64 |
2dc9e8b6 | 5 | ENV PSC_PACKAGE_DOWNLOAD_SHA1 bdf25acc5b4397bd03fd1da024896c5f33af85ce |
105cd287 | 6 | |
2dc9e8b6 | 7 | RUN yarn global add pulp@11.0.0 |
105cd287 DG |
8 | |
9 | RUN cd /opt \ | |
3d62f625 | 10 | && wget https://github.com/purescript/purescript/releases/download/v0.11.7/linux64.tar.gz \ |
105cd287 DG |
11 | && echo "$PURESCRIPT_DOWNLOAD_SHA1 linux64.tar.gz" | sha1sum -c - \ |
12 | && tar -xvf linux64.tar.gz \ | |
13 | && rm /opt/linux64.tar.gz | |
2dc9e8b6 CD |
14 | RUN cd /opt \ |
15 | && wget https://github.com/purescript/psc-package/releases/download/v0.4.2/linux64.tar.gz \ | |
16 | && echo "$PSC_PACKAGE_DOWNLOAD_SHA1 linux64.tar.gz" | sha1sum -c - \ | |
17 | && tar -xvf linux64.tar.gz \ | |
18 | && rm /opt/linux64.tar.gz | |
105cd287 DG |
19 | |
20 | ENV PATH /opt/purescript:$PATH | |
2dc9e8b6 | 21 | ENV PATH /opt/psc-package:$PATH |
105cd287 DG |
22 | |
23 | RUN userdel node | |
24 | RUN useradd -m -s /bin/bash pureuser | |
25 | ||
26 | WORKDIR /home/pureuser | |
27 | ||
28 | USER pureuser |