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

[profile] / dot / shell-rc

diff --git a/dot/shell-rc b/dot/shell-rc
index e28dbb8b166da7cfc09a7f27adea9e5404eb40b0..c6818113b48535e462756f1e8ec974b05d0631cd 100644 (file)
--- 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"