From: Mark Wooding <mdw@distorted.org.uk>
Date: Thu, 11 Jul 2024 12:28:31 +0000 (+0100)
Subject: dot/shell-rc: Be nice when running Maven too.
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/profile/commitdiff_plain/c16ac019e4e0333af7b0efb5cbe87d7a28ebd14f?ds=sidebyside

dot/shell-rc: Be nice when running Maven too.

Not that I do that often by choice.
---

diff --git a/dot/shell-rc b/dot/shell-rc
index e28dbb8..c681811 100644
--- a/dot/shell-rc
+++ b/dot/shell-rc
@@ -230,6 +230,7 @@ if command -v ionice >/dev/null 2>&1; then
 fi
 alias mdw-nice="$__mdw_nice --"
 alias make="mdw-nice make"
+alias mvn="mdw-nice mvn"
 alias cross-run="mdw-nice cross-run"
 alias gdb="gdb -q"