On 2013-07-13 14:06, Holger Levsen wrote: > rgrep -l "ressource violation" * > in sid-nodoc resulted in nothing. hmm, right, look for "Command was terminated after exceeding output limit" Andreas