diff options
-rw-r--r-- | default.nix | 15 |
1 files changed, 15 insertions, 0 deletions
diff --git a/default.nix b/default.nix index 28767a9..b5dad69 100644 --- a/default.nix +++ b/default.nix | |||
@@ -1,6 +1,21 @@ | |||
1 | with import <nixpkgs> {}; | 1 | with import <nixpkgs> {}; |
2 | let | 2 | let |
3 | nixpkgs = import <nixpkgs> {}; | 3 | nixpkgs = import <nixpkgs> {}; |
4 | postHook = '' | ||
5 | header() { | ||
6 | echo -ne "\033[1;36m" | ||
7 | echo -n "$1" | ||
8 | echo -e "\033[0m" | ||
9 | } | ||
10 | |||
11 | echoCmd() { | ||
12 | printf "\033[1;34m%s:\033[0m" "$1" | ||
13 | shift | ||
14 | printf ' %q' "$@" | ||
15 | echo | ||
16 | } | ||
17 | ''; | ||
18 | |||
4 | fetchedGithub = path: | 19 | fetchedGithub = path: |
5 | let | 20 | let |
6 | json = lib.importJSON path; | 21 | json = lib.importJSON path; |