X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=blobdiff_plain;f=filedir.tex;h=0c4f94d578866dbaede4cb701c64c33466eba133;hp=45aef2a94e1e95f2c3c589af5b0a173fa46a70f4;hb=59dfe4c44efe50374103e6f9cdee3e52d2a33809;hpb=dc4eaddc9bad8eca47e81b003fefeccaa3372f48 diff --git a/filedir.tex b/filedir.tex index 45aef2a..0c4f94d 100644 --- a/filedir.tex +++ b/filedir.tex @@ -1704,7 +1704,7 @@ di sovrascrivere oltre le dimensioni del buffer. \begin{figure}[htb] \centering - \includegraphics[width=8.5cm]{img/link_loop} + \includegraphics[width=7.0cm]{img/link_loop} \caption{Esempio di loop nel filesystem creato con un collegamento simbolico.} \label{fig:file_link_loop} @@ -1764,7 +1764,7 @@ cat: symlink: No such file or directory \end{Console} %$ con un errore che può sembrare sbagliato, dato che \cmd{ls} ci ha mostrato -l'esistenza di \file{symlink}, se invece scrivessimo su \file{symlink} +l'esistenza di \file{symlink}. Se invece scrivessimo su \file{symlink} otterremmo la creazione di \file{/tmp/tmp\_file} senza errori. @@ -1772,11 +1772,11 @@ otterremmo la creazione di \file{/tmp/tmp\_file} senza errori. \index{collegamento!simbolico|)} Un'altra funzione relativa alla gestione dei nomi dei file, anche se a prima -vista parrebbe riguardare un argomento completamente diverso, è quella che per -la cancellazione di un file. In realtà una \textit{system call} che serva -proprio a cancellare un file non esiste neanche perché, come accennato in +vista parrebbe riguardare un argomento completamente diverso, è quella per la +cancellazione di un file. In realtà una \textit{system call} che serva proprio +a cancellare un file non esiste neanche perché, come accennato in sez.~\ref{sec:file_filesystem}, quando in un sistema unix-like si richiede la -rimozione di un file quella che si va a cancellare è soltanto la voce che +rimozione di un file, quello che si va a cancellare è soltanto la voce che referenzia il suo \textit{inode} all'interno di una directory. La funzione di sistema che consente di effettuare questa operazione, il cui