\begin{Verbatim}[]
$ head -n20 file.txt
\end{Verbatim}
