dot/shell-rc: Run `make' nicely by default.

diff --git a/dot/shell-rc b/dot/shell-rc
index 55934d5..968bd73 100644 (file)
--- a/dot/shell-rc
+++ b/dot/shell-rc
@@ -130,6 +130,7 @@ alias pushtmp='pushd ${TMPDIR-/tmp}'
 alias e="$EDITOR"
 alias svn="svnwrap svn"
 alias @="ssh"
+alias make="nice make"
 
 ###--------------------------------------------------------------------------
 ### Colour output.