blob: c7d753a30e8ffb7542ef905d0b23abc167c71a38 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
{}:
{
# This adds header colors to the builds, but it rebuilds the whole
# world from scratch, so only use it to debug!
# add it as postHook in derivations
immaePostHook = ''
header() {
echo -ne "\033[1;36m"
echo -n "$1"
echo -e "\033[0m"
}
echoCmd() {
printf "\033[1;34m%s:\033[0m" "$1"
shift
printf ' %q' "$@"
echo
}
'';
}
|