#!/bin/sh n=$1 [ "$n" = "PRE_GIT" ] && n=10 renice -n $n $GL_TID >/dev/null