From b74e9e85afe7a3db9f2f329cc7b5a1632aa16d02 Mon Sep 17 00:00:00 2001 From: Franck Cuny Date: Wed, 5 Oct 2022 17:58:37 -0700 Subject: ref(fcuny/notes): delete notes The notes are at https://github.com/fcuny/notes.fcuny.net --- users/fcuny/notes/default.nix | 30 ------------------------------ 1 file changed, 30 deletions(-) delete mode 100644 users/fcuny/notes/default.nix (limited to 'users/fcuny/notes/default.nix') diff --git a/users/fcuny/notes/default.nix b/users/fcuny/notes/default.nix deleted file mode 100644 index ee9ebb9..0000000 --- a/users/fcuny/notes/default.nix +++ /dev/null @@ -1,30 +0,0 @@ -{ pkgs, ... }: - -pkgs.stdenv.mkDerivation rec { - name = "notes.fcuny.net"; - - src = ./.; - - nativeBuildInputs = [ pkgs.hugo pkgs.git ]; - - installPhase = '' - mkdir -p $out - ${pkgs.hugo}/bin/hugo --minify -d $out/ - ''; - - server = pkgs.writers.writeBashBin "run-server" '' - set -ueo pipefail - cd $(git rev-parse --show-toplevel) - cd users/fcuny/notes - export PATH=${pkgs.lib.makeBinPath [ pkgs.hugo pkgs.git ]} - hugo server -D - ''; - - meta = with pkgs.lib; { - description = "franck cuny's notes"; - homepage = "https://notes.fcuny.net"; - license = licenses.mit; - platforms = platforms.linux; - maintainers = [ ]; - }; -} -- cgit 1.4.1