% fancy verbatim
\usepackage{fancyvrb}
+\DefineVerbatimEnvironment{Example}{Verbatim}
+{xleftmargin=1cm,xrightmargin=1cm}
+
+\DefineVerbatimEnvironment{FileExample}{Verbatim}
+{frame=lines,framerule=0.5mm,framesep=2mm,xleftmargin=1cm,xrightmargin=1cm,fontsize=\footnotesize}
+
+\DefineVerbatimEnvironment{Terminal}{Verbatim}
+{xleftmargin=\parindent,xrightmargin=\parindent,fontfamily=courier,fontsize=\footnotesize}
+
+\DefineVerbatimEnvironment{Command}{Verbatim}
+{xleftmargin=\parindent,xrightmargin=\parindent,fontseries=b,
+fontfamily=courier,fontsize=\footnotesize}
\usepackage[bookmarks=true,plainpages=false,pdfpagelabels,
hyperfootnotes=false]{hyperref}
\makeindex
% Solo prima parte, scommentare
-%\includeonly{macro,preambolo,pref,intro,process,prochand,fileintro,filedir,
-% fileunix,filestd,system,system,signal,session,fileadv,ipc,errors,
-% ringraziamenti,fdl}
+% \includeonly{macro,preambolo,pref,intro,process,prochand,filedir,
+% fileunix,filestd,system,signal,session,fileadv,ipc,errors,
+% ringraziamenti,fdl}
% Solo seconda parte e appendici, scommentare
%\includeonly{macro,preambolo,network,socket,tcpsock,sockctrl,othersock,
\include{intro}
\include{process}
\include{prochand}
-\include{fileintro}
\include{filedir}
\include{fileunix}
\include{filestd}