::
grazie Alberto, hai senz’altro ragione tu..è questione di abituarsi ad usare la shell..Win mi ha educato al mouse e icone, quindi nn sono a mio agio con la riga di comando.
Un ultima domanda? come faccio ad aggiornare i pacchetti della mia distribuzione TexLive?
