diff options
Diffstat (limited to 'lib/private')
-rw-r--r-- | lib/private/default.nix | 20 |
1 files changed, 0 insertions, 20 deletions
diff --git a/lib/private/default.nix b/lib/private/default.nix deleted file mode 100644 index c7d753a..0000000 --- a/lib/private/default.nix +++ /dev/null | |||
@@ -1,20 +0,0 @@ | |||
1 | {}: | ||
2 | { | ||
3 | # This adds header colors to the builds, but it rebuilds the whole | ||
4 | # world from scratch, so only use it to debug! | ||
5 | # add it as postHook in derivations | ||
6 | immaePostHook = '' | ||
7 | header() { | ||
8 | echo -ne "\033[1;36m" | ||
9 | echo -n "$1" | ||
10 | echo -e "\033[0m" | ||
11 | } | ||
12 | |||
13 | echoCmd() { | ||
14 | printf "\033[1;34m%s:\033[0m" "$1" | ||
15 | shift | ||
16 | printf ' %q' "$@" | ||
17 | echo | ||
18 | } | ||
19 | ''; | ||
20 | } | ||