On 2016-01-18 14:16:31 +0100, Sébastien NOBILI wrote: > Bonjour, > > Le lundi 18 janvier 2016 à 14:06, Vincent Lefevre a écrit : > > On 2016-01-17 14:21:39 +0100, Sébastien Dinot wrote: > > > > - le répertoire /tmp monté en tmpfs pour les machines de 8Go de > > > > mémoire ou plus pour éviter des écritures inutiles. > > > > > > /tmp/ et /var/tmp/ > > > > Certainement pas /var/tmp, qui doit être préservé après reboot (c'est > > la différence avec /tmp, dont la préservation est facultative). > > Depuis Jessie, /var/tmp/ est devenu un montage tmpfs, mais ça peut > bien sûr se modifier.
Non, je n'ai rien modifié, et: zira% df /tmp Filesystem 1K-blocks Used Available Use% Mounted on /dev/dm-1 471942448 125324444 322621588 28% / zira% df /var/tmp Filesystem 1K-blocks Used Available Use% Mounted on /dev/dm-1 471942448 125324444 322621588 28% / (machine installée en Jessie, puis mise à jour en unstable). Même /tmp n'est pas monté en tmpfs par défaut, comme tu peux le voir ci-dessus et dans "/etc/default/tmpfs": # mount /tmp as a tmpfs. Defaults to no; set to yes to enable (/tmp # will be part of the root filesystem if disabled). /tmp may also be # configured to be a separate mount in /etc/fstab. #RAMTMP=no Pour /var/tmp, ce n'est apparemment même pas configurable. -- Vincent Lefèvre <vinc...@vinc17.net> - Web: <https://www.vinc17.net/> 100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/> Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)
