diff options
Diffstat (limited to 'default.nix')
-rw-r--r-- | default.nix | 14 |
1 files changed, 0 insertions, 14 deletions
diff --git a/default.nix b/default.nix index 538ffaa..5e8c4d3 100644 --- a/default.nix +++ b/default.nix | |||
@@ -2,20 +2,6 @@ with import ./libs.nix; | |||
2 | with import <nixpkgs> {}; | 2 | with import <nixpkgs> {}; |
3 | let | 3 | let |
4 | mypkgs = {}; | 4 | mypkgs = {}; |
5 | postHook = '' | ||
6 | header() { | ||
7 | echo -ne "\033[1;36m" | ||
8 | echo -n "$1" | ||
9 | echo -e "\033[0m" | ||
10 | } | ||
11 | |||
12 | echoCmd() { | ||
13 | printf "\033[1;34m%s:\033[0m" "$1" | ||
14 | shift | ||
15 | printf ' %q' "$@" | ||
16 | echo | ||
17 | } | ||
18 | ''; | ||
19 | 5 | ||
20 | mypkgs.ledger = (ledger.override { boost = boost166; }).overrideAttrs (_old: | 6 | mypkgs.ledger = (ledger.override { boost = boost166; }).overrideAttrs (_old: |
21 | fetchedGithub ./fetched/ledger.json // { | 7 | fetchedGithub ./fetched/ledger.json // { |