Volevo sapere se esiste un comando dato da terminale che permetta di mandare in stampa un file.