X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=blobdiff_plain;f=fileunix.tex;h=f4c8fa647c96a6ec8e555433c8b792322c65cb37;hp=9be2f237f8aa412895d9ab8d017e954156d7a9e0;hb=e7010c3fbd41a2de44c7b513c5de6e2c6d7ab4b4;hpb=60e20d29c0515f95b8a171fb33c7214c9bf92021

diff --git a/fileunix.tex b/fileunix.tex
index 9be2f23..f4c8fa6 100644
--- a/fileunix.tex
+++ b/fileunix.tex
@@ -922,9 +922,9 @@ valore tradizionale, usato da BSD, per l'update dei dati 
 in Linux il valore utilizzato è di 5 secondi; con le nuove versioni\footnote{a
   partire dal kernel 2.2.8} poi, è il kernel che si occupa direttamente di
 tutto quanto attraverso il demone interno \cmd{bdflush}, il cui comportamento
-può essere controllato attraverso il file \file{/proc/sys/vm/bdflush} (per il
-significato dei valori si può leggere la documentazione allegata al kernel in
-\file{Documentation/sysctl/vm.txt}).
+può essere controllato attraverso il file \procfile{/proc/sys/vm/bdflush} (per
+il significato dei valori si può leggere la documentazione allegata al kernel
+in \file{Documentation/sysctl/vm.txt}).
 
 Quando si vogliono scaricare soltanto i dati di un file (ad esempio essere
 sicuri che i dati di un database sono stati registrati su disco) si possono