Wolfgang S. Rupprecht schrieb:
> I think we are talking about the same thing.  From a section of my
> .bashrc that hasn't been touched for quite a long time:
> 
>         alias make='nice -20 make'
> 
> The niceness polarity is such that the make is disadvantaged.

I just tried with a freshly compiled bash and it doesn't have
a builtin nice command, so you're right (and actually setting
nice to +20). Sorry for the confusion.

Regards,
Tom