From: Mark Wooding <mdw@distorted.org.uk>
Date: Sat, 9 May 2020 13:53:48 +0000 (+0100)
Subject: dot/shell-rc: Run `cross-run' nicely by default.
X-Git-Url: http://www.chiark.greenend.org.uk/ucgi/~mdw/git/profile/commitdiff_plain/ee747cc60761db70e58ca21746f06545f5397476

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

The usual application is to run make(1) or some other highly intensive
thing in lots of different cross environments at the same time, so this
seems like something that should try to be nice.
---

diff --git a/dot/shell-rc b/dot/shell-rc
index 55a245f..51abd6e 100644
--- a/dot/shell-rc
+++ b/dot/shell-rc
@@ -187,6 +187,7 @@ alias e="$EDITOR"
 alias svn="svnwrap svn"
 alias @="ssh"
 alias make="nice make"
+alias cross-run="nice cross-run"
 alias gdb="gdb -q"
 
 ###--------------------------------------------------------------------------