From 11d58b18ac7a5c3268418d8a5745206d050a7f17 Mon Sep 17 00:00:00 2001 From: "Yann Esposito (Yogsototh)" Date: Thu, 27 Feb 2020 14:19:32 +0100 Subject: [PATCH] env and toto update --- TODO.org | 3 +- src/posts/0010-Haskell-Now/.envrc | 1 + src/posts/0010-Haskell-Now/shell.nix | 46 ++++++++++++++-------------- 3 files changed, 26 insertions(+), 24 deletions(-) create mode 100644 src/posts/0010-Haskell-Now/.envrc diff --git a/TODO.org b/TODO.org index 9c5c68d..e080d1f 100644 --- a/TODO.org +++ b/TODO.org @@ -1,3 +1,4 @@ #+TITLE: Project TODO -* TODO Display size of current page (text + images) +* DONE Display size of current page (text + images) +CLOSED: [2020-02-23 Sun 00:18] diff --git a/src/posts/0010-Haskell-Now/.envrc b/src/posts/0010-Haskell-Now/.envrc new file mode 100644 index 0000000..1d953f4 --- /dev/null +++ b/src/posts/0010-Haskell-Now/.envrc @@ -0,0 +1 @@ +use nix diff --git a/src/posts/0010-Haskell-Now/shell.nix b/src/posts/0010-Haskell-Now/shell.nix index 817009b..594fbc1 100644 --- a/src/posts/0010-Haskell-Now/shell.nix +++ b/src/posts/0010-Haskell-Now/shell.nix @@ -1,26 +1,26 @@ - { nixpkgs ? import (fetchTarball https://github.com/NixOS/nixpkgs/archive/19.09.tar.gz) {} }: - let - inherit (nixpkgs) pkgs; - inherit (pkgs) haskellPackages; +{ nixpkgs ? import (fetchTarball https://github.com/NixOS/nixpkgs/archive/19.09.tar.gz) {} }: +let + inherit (nixpkgs) pkgs; + inherit (pkgs) haskellPackages; - haskellDeps = ps: with ps; [ - base - protolude - containers - ]; + haskellDeps = ps: with ps; [ + base + protolude + containers + ]; - ghc = haskellPackages.ghcWithPackages haskellDeps; + ghc = haskellPackages.ghcWithPackages haskellDeps; - nixPackages = [ - ghc - pkgs.gdb - haskellPackages.cabal-install - ]; - in - pkgs.stdenv.mkDerivation { - name = "env"; - buildInputs = nixPackages; - shellHook = '' - export PS1="\n\[[hs:\033[1;32m\]\W\[\033[0m\]]> " - ''; - } + nixPackages = [ + ghc + pkgs.gdb + haskellPackages.cabal-install + ]; +in +pkgs.stdenv.mkDerivation { + name = "env"; + buildInputs = nixPackages; + shellHook = '' + export PS1="\n\[[hs:\033[1;32m\]\W\[\033[0m\]]> " + ''; +}