Skip to content

Instantly share code, notes, and snippets.

@fennecdjay

fennecdjay/Base.Dockerfile

Last active October 14, 2019 02:08
Download ZIP

Revisions

  1. fennecdjay revised this gist Oct 14, 2019. 3 changed files with 7 additions and 14 deletions.
    2 changes: 0 additions & 2 deletions Gwion.Dockerfile
    View file
    Original file line number Diff line number Diff line change
    @@ -1,7 +1,5 @@
    FROM fennecdjay/base:latest

    WORKDIR /tmp

    USER $NB_USER
    RUN git clone https://github.com/fennecdjay/gwion && cd gwion && \
    git submodule update --init util ast && make
    7 changes: 7 additions & 0 deletions Haskell.dockerfile
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,7 @@
    FROM fennecdjay/base:latest

    USER root
    RUN pacman --noconfirm -Suy
    RUN pacman --noconfirm -S cabal-install ghc alex happy
    RUN pacman --noconfirm -S haskell-monad-control
    USER $NB_USER
    12 changes: 0 additions & 12 deletions Mdr.dockerfile
    View file
    Original file line number Diff line number Diff line change
    @@ -1,12 +0,0 @@
    FROM fennecdjay/base:latest

    WORKDIR /tmp

    USER root
    RUN pacman --noconfirm -Suy
    RUN pacman --noconfirm -S cabal-install

    USER $NB_USER

    RUN git clone https://github.com/fennecdjay/mdr && cd mdr && \
    cabal build && cabal install
  2. fennecdjay revised this gist Oct 14, 2019. 3 changed files with 13 additions and 15 deletions.
    6 changes: 1 addition & 5 deletions Base.Dockerfile
    View file
    Original file line number Diff line number Diff line change
    @@ -1,12 +1,8 @@
    # just archlinux + base-devel + git

    FROM archlinux/base:latest
    USER root
    RUN pacman --noconfirm -Suy
    RUN pacman --noconfirm -S base-devel git

    USER $NB_USER

    CMD bash

    # push with docker push base
    CMD bash
    10 changes: 0 additions & 10 deletions Gwion.Dockerfile
    View file
    Original file line number Diff line number Diff line change
    @@ -1,21 +1,11 @@
    # install latest gwion
    FROM fennecdjay/base:latest

    WORKDIR /tmp

    USER root
    RUN pacman --noconfirm -Suy
    RUN pacman --noconfirm -S base-devel git

    USER $NB_USER

    RUN git clone https://github.com/fennecdjay/gwion && cd gwion && \
    git submodule update --init util ast && make

    USER root
    RUN cd gwion && make install
    USER $NB_USER

    CMD cd gwion && bash

    # push with docker push gwion
    12 changes: 12 additions & 0 deletions Mdr.dockerfile
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,12 @@
    FROM fennecdjay/base:latest

    WORKDIR /tmp

    USER root
    RUN pacman --noconfirm -Suy
    RUN pacman --noconfirm -S cabal-install

    USER $NB_USER

    RUN git clone https://github.com/fennecdjay/mdr && cd mdr && \
    cabal build && cabal install
  3. fennecdjay revised this gist Oct 14, 2019. 2 changed files with 0 additions and 0 deletions.
    0 Base → Base.Dockerfile
    View file
    File renamed without changes.
    0 Gwion → Gwion.Dockerfile
    View file
    File renamed without changes.
  4. fennecdjay created this gist Oct 14, 2019.
    12 changes: 12 additions & 0 deletions Base
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,12 @@
    # just archlinux + base-devel + git

    FROM archlinux/base:latest
    USER root
    RUN pacman --noconfirm -Suy
    RUN pacman --noconfirm -S base-devel git

    USER $NB_USER

    CMD bash

    # push with docker push base
    21 changes: 21 additions & 0 deletions Gwion
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,21 @@
    # install latest gwion
    FROM fennecdjay/base:latest

    WORKDIR /tmp

    USER root
    RUN pacman --noconfirm -Suy
    RUN pacman --noconfirm -S base-devel git

    USER $NB_USER

    RUN git clone https://github.com/fennecdjay/gwion && cd gwion && \
    git submodule update --init util ast && make

    USER root
    RUN cd gwion && make install
    USER $NB_USER

    CMD cd gwion && bash

    # push with docker push gwion