Bon ben après quelques expérimentations le problème semble provenir de colormake (j'avais fait un alias...). Les programmes lancés par (color) make ont des problèmes d'affichage quand une entrée clavier est attendue, comme si le buffer de sortie n'était pas vidé. Je peux reproduire le bug à tous les coups avec un cas simple, c'est dans le rapport de bug pour les gens intéressés. ;) http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=354884 Milrith