By "replacing", I meant "taking the steps necessary so the output of make shown to the user is colorised". That is exactly what your suggestion does. It seems to me a pointless step to force users to figure out how to do this additional step (properly!), when there is a package management system that is able to install everything that is needed to make it work out-of-the-box. On the other hand, in this particular case, I guess that if you know what 'make' is you should know what 'alias' is.
In any case, my .bashrc contains, which works with or without colormake installed. # enable color support of ls and also add handy aliases if [ "$TERM" != "dumb" ] && [ -x /usr/bin/dircolors ]; then eval "`dircolors -b`" alias ls='ls --color=auto' alias dir='ls --color=auto --format=vertical' alias vdir='ls --color=auto --format=long' alias grep='grep --color=auto' alias fgrep='fgrep --color=auto' alias egrep='egrep --color=auto' if [ -x /usr/bin/colormake ]; then alias make='colormake' fi if [ -x /usr/bin/colordiff ]; then alias diff='colordiff' fi fi So, this bug does not affect me anymore, and I personally do not care much if you close/reject it (and bug 30734). -- colormake should replace default make https://bugs.launchpad.net/bugs/30735 You received this bug notification because you are a member of Ubuntu Bugs, which is a direct subscriber. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs