4 Aoû
2010
4 Aoû
'10
09:21
Le 04/08/2010 10:11, Jean-Baka Domelevo-Entfellner a écrit :
Bref, la "politesse" d'un processus influe sur le calcul de sa "priorité" d'ordonnancement, mais on ne doit pas mélanger les deux choses. D'où ma proposition d'utiliser le terme "politesse" déjà utilisé par Michel Robitaille. Sur cette histoire de nicitude vs priorité, on consultera d'ailleurs avec profit la page de man de "nice", si on a localisé son système en français.
"convivialité" ou mieux "bonne éducation" serait plus juste, mais en général on dit bien politesse. Je suggère quand même de laisser "nice" (entre parenthèses?) car ce type de commande concerne des usagers avancés qui lisent souvent en anglais et vont avoir du mal à interpréter politesse
jdd