TeX Live Utility Version 0.93

Molto più essenziale, ma le azioni da fare sono da scegliere direttamente dalla barra su in alto, dove c’è anche scritto il nome dell’applicazione e le varie voci dei vari menù che si possono attivare con quella applicazione.; prima i bottoni potevano essere comodi e non si usava mai la barra in alto,
Ma la barra in alto offre più possibilità.

Ciao
Claudio

OldClaudio” post=63831Molto più essenziale, ma le azioni da fare sono da scegliere direttamente dalla barra su in alto, dove c’è anche scritto il nome dell’applicazione e le varie voci dei vari menù che si possono attivare con quella applicazione.; prima i bottoni potevano essere comodi e non si usava mai la barra in alto,
Ma la barra in alto offre più possibilità.

Avrei preferito che tenesse qualche pulsante, magari più in linea con le usuali applicazioni. Ma non cambia tanto.

Ciao
Enrico

Ehi, Tommaso, io non ho detto niente di diverso rispetto a quello che ha detto Enrico; ho solo detto che è più essenziale e questo non è un giudizio di valore, ma un giudizio estetico.
Siamo d’accordo tutti che i pulsanti erano comodi; ora che non ci sono più ci abitueremo.
Nello stesso tempo c’è la barra dei menù e quella nell versione fino alla 0.92 non c’era o era meno dotata, per esempio non c’era Manage Mirrors 🙂

Mi dicono che anche su tlmgr dovrebbe esserci qualcosa per gestire i mirror, ma io non l’ho mai trovato. D’altra parte tlmgr è ancora più minimalista. In un certo senso è anche angosciante. quando nelle due colonne a sinistra il tempo complessivo previsto per completare l’installazione o l’aggiornamento non diminuisce mai, o quasi mai, ma è tendenzialmente monotono crescente. 🙁

illinguista1972″ post=63834Non per dare ragione a Enrico, ma anche a me piaceva di più quella vecchia. Oltre ai pulsanti, anche la finestra Preferences era più articolata.
Ora, però, un plauso alla voce Manage Mirrors del menù Configure. C’è anche il GARR. Mi piace 🙂

La gestione dei mirror è una benedizione! Anche se recentemente Roma2 non era troppo indecente.

Segnalo che con il tasto destro del mouse (o Control-clic) si ha un menù contestuale che permette di lanciare l’aggiornamento.

Ciao
Enrico

La versione 0.94 permette di aggiungere pulsanti alla barra di gestione.

Ciao
Enrico