Sign inSign up

agocorona/plutus

By agocorona

•Updated about 5 years ago

Image of https://github.com/input-output-hk/plutus compiled with nix

Image
0

1.5K

agocorona/plutus repository overview

Image of https://github.com/input-output-hk/plutus⁠

Compiled, with nix, so it can be used to compile and setup new releases.

Good for plutus development with VSCode under my windows box

to start nix-shell:

>docker run -it agocorona/plutus

root@09ba6388e9d6:/home/user# cd plutus
root@09ba6388e9d6:/home/user/plutus# nix-shell

Following Plutus Pioneer Program - Iteration #2 - Lecture #1: to run the plutus playground:

cd plutus-playground-client
plutus-playground-server

etc

plutus-pionner-program repo is not included

⁠Dockerfile

This Dockerfile do NOT build this image right. Still there are problems that I have to solve by tweaking the image:

FROM haskell
# inspired by https://github.com/NixOS/nix/issues/2636

RUN apt-get update \
 && apt-get install -y curl \
 && apt-get install -y  bzip2 \ 
 && mkdir -p /nix /etc/nix \
 && chmod a+rwx /nix \
 && echo 'sandbox = false' > /etc/nix/nix.conf \
 && echo 'build-users-group =' >> /etc/nix/nix.conf \
 && echo "substituters  = https://hydra.iohk.io https://iohk.cachix.org https://cache.nixos.org/\ntrusted-public-keys = hydra.iohk.io:f/Ea+s+dFdN+3Y/G+FDgSq+a5NEWhJGzdjvKNGv0/EQ= iohk.cachix.org-1:DpRUyj7h7V830dp/i6Nti+NEO2/nhblbov/8MW7Rqoo= cache.nixos.org-1:6NCHdD59X431o0gWypbMrAURkbJ16ZPMQFGspcDShjY=" >> /etc/nix/nix.conf \
 && addgroup nixbld



RUN adduser user --home /home/user --disabled-password --gecos "" --shell /bin/bash

USER user
ENV USER user
WORKDIR /home/user

RUN cd /home/user && git clone https://github.com/input-output-hk/plutus 



RUN touch .bash_profile \
 && curl https://nixos.org/releases/nix/nix-2.2.1/install | sh

USER root

RUN sh -c 'cd /home/user/plutus &&  nix-shell'

CMD /bin/bash 

Tag summary

Content type

Image

Digest

Size

3.3 GB

Last updated

about 5 years ago

docker pull agocorona/plutus