From daeece4beeba2316d11910130f4476cb9ac8efb2 Mon Sep 17 00:00:00 2001
From: Mark Wooding <mdw@distorted.org.uk>
Date: Fri, 20 Jul 2018 21:34:11 +0100
Subject: [PATCH] dot/shell-rc: Run `make' nicely by default.

---
 dot/shell-rc | 1 +
 1 file changed, 1 insertion(+)

diff --git a/dot/shell-rc b/dot/shell-rc
index 55934d5..968bd73 100644
--- 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.
-- 
2.11.0