+ # 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
+ }
+ '';
+