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