From c28277fb98006ed221ee920dacc8f4997021533c Mon Sep 17 00:00:00 2001 From: Maciej Jur Date: Fri, 28 Jun 2024 18:44:23 +0200 Subject: [PATCH] nixos: add ghci --- nixos/msi/ghci/.ghci | 2 ++ nixos/msi/ghci/default.nix | 10 ++++++++++ nixos/msi/home.nix | 1 + 3 files changed, 13 insertions(+) create mode 100644 nixos/msi/ghci/.ghci create mode 100644 nixos/msi/ghci/default.nix diff --git a/nixos/msi/ghci/.ghci b/nixos/msi/ghci/.ghci new file mode 100644 index 0000000..f29838c --- /dev/null +++ b/nixos/msi/ghci/.ghci @@ -0,0 +1,2 @@ +:set prompt "\ESC[34m\STXλ> \ESC[0m\STX" +:set -pgmL markdown-unlit diff --git a/nixos/msi/ghci/default.nix b/nixos/msi/ghci/default.nix new file mode 100644 index 0000000..7453b5d --- /dev/null +++ b/nixos/msi/ghci/default.nix @@ -0,0 +1,10 @@ +{ pkgs, ... }: + +{ + home.packages = with pkgs; [ + ghc + haskell-language-server + ]; + + home.file.".ghci".source = ./.ghci; +} diff --git a/nixos/msi/home.nix b/nixos/msi/home.nix index 4171b23..ba7e20c 100644 --- a/nixos/msi/home.nix +++ b/nixos/msi/home.nix @@ -5,6 +5,7 @@ in { imports = [ ./gaming.nix + ./ghci ]; home = {