]>
Commit | Line | Data |
---|---|---|
105cd287 DG |
1 | FROM node:4 |
2 | ||
3 | MAINTAINER Risto Stevcev | |
4 | ||
acf0b7a3 | 5 | ENV PURESCRIPT_DOWNLOAD_SHA1 8592599a36ffa5ac281edb3a549b6bd0e9dea4a0 |
105cd287 | 6 | |
eff828d6 | 7 | RUN npm install -g bower pulp |
105cd287 DG |
8 | |
9 | RUN cd /opt \ | |
acf0b7a3 | 10 | && wget https://github.com/purescript/purescript/releases/download/v0.11.0/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 | |
14 | ||
15 | ENV PATH /opt/purescript:$PATH | |
16 | ||
17 | RUN userdel node | |
18 | RUN useradd -m -s /bin/bash pureuser | |
19 | ||
20 | WORKDIR /home/pureuser | |
21 | ||
22 | USER pureuser | |
23 | ||
24 | RUN mkdir tmp && cd tmp && pulp init | |
25 | ||
26 | CMD cd tmp && pulp psci |