Re: sudo mktexlsr contro il semplice mktexlsr

#23862
lorenzo.pantieri
Partecipante
    Up
    0
    Down
    ::

    Mi pare una scelta ragionevole: l’utente normale non deve avere accesso a quelle parti del sistema. Per questi utenti c’è sempre la possibilità di usare l’albero personale, che non richiede aggiornamenti della base di dati.

    Chiarissimo.

    Grazie mille,
    Lorenzo

    Go to top