diff --git a/tools/launch_nicely.sh b/tools/launch_nicely.sh new file mode 100755 index 00000000..ab9dcfa7 --- /dev/null +++ b/tools/launch_nicely.sh @@ -0,0 +1,3 @@ +#!/bin/sh +time nice -n 19 ionice -c 3 "$@" +