rename _make to __colour_make for clairification

This commit is contained in:
2025-11-19 13:11:15 +01:00
parent 95f7e0c9ef
commit 4bbfe041a3

View File

@@ -24,13 +24,14 @@ __lazy_ssh_agent() {
alias ssh='__lazy_ssh_agent; ssh' alias ssh='__lazy_ssh_agent; ssh'
alias sudo='__lazy_ssh_agent; sudo' alias sudo='__lazy_ssh_agent; sudo'
# alias to colourise make output # colourises make output, so when it prints via
_make() { # $(warning) or $(error), it is formatted properly
__colour_make() {
make "$@" 2> >(sed -E \ make "$@" 2> >(sed -E \
-e "s/^([Mm]akefile:[0-9]+:.*)/\x1b[33m\1\x1b[0m/" \ -e "s/^([Mm]akefile:[0-9]+:.*)/\x1b[33m\1\x1b[0m/" \
-e "s/^.*error.*$/\x1b[31m&\x1b[0m/I" >&2) -e "s/^.*error.*$/\x1b[31m&\x1b[0m/I" >&2)
} }
alias make='_make' alias make='__colour_make'
# lazily loads the git utilities, to prevent slowdowns # lazily loads the git utilities, to prevent slowdowns
__lazy_git_ps1() { __lazy_git_ps1() {