Vincent Renardias <[EMAIL PROTECTED]> writes: [...]
> au passage, si votre partition /tmp/ est assez grosse et qu'elle se > remplie beaucoup, c'est bcp plus rapide de directement reformater la > partition a chaque boot... (oui, c'est bourrin, et alors :-) Ou encore, s'il y a suffisamment de mémoire, on peut monter /tmp en tmpfs. Ça peut aussi faire gagner un peu de vitesse, au boot et surtout en fonctionnement. -- Nicolas