From: Simone Piccardi Date: Wed, 22 Aug 2018 17:07:23 +0000 (+0200) Subject: Correzioni minimali. X-Git-Url: https://gapil.gnulinux.it/gitweb/?p=gapil.git;a=commitdiff_plain;h=59dfe4c44efe50374103e6f9cdee3e52d2a33809 Correzioni minimali. --- 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