abbiamo perso il sesto punto aggiornamento (qui il quinto), ma il prossimo è già qui. Il progetto dietro il desktop più utilizzato nel mondo Linux ha gettato GNOME 40.7, che è il settimo aggiornamento di manutenzione per la versione di GNOME rilasciata a marzo dello scorso anno. Attualmente disponibile in distribuzioni come Ubuntu 21.10, non è una nuova versione con nuove funzionalità, ma include correzioni per rendere tutto più fluido e affidabile.
Nelle parole dei suoi stessi sviluppatori, «GNOME 40.7 è progettato per essere un noioso aggiornamento di correzione di bug […], quindi dovrebbe essere sicuro eseguire l'aggiornamento da versioni precedenti di GNOME 40«. Tra i correzioni, possiamo citarne alcuni come i seguenti.
Alcune delle correzioni apportate in GNOME 40.7
- Monitoraggio delle finestre migliorato in GNOME Shell.
- Le animazioni Riduci e Riduci a icona sono state modificate.
- Ombreggiatura semplificata della dissolvenza del cursore per funzionare su hardware meno recente.
- Miglioramenti alla mappatura sulle tavolette Wacom
- Supporto per i formati ABGR e XBGR nel sottosistema DMA-BUF.
- GNOME Shell è stata migliorata in modo che lo schermo non si riattiva più in modalità Non disturbare.
- Miglioramenti del mormorio per le finestre di Xwayland non reindirizzate che non sono state aggiornate.
- Diverse estensioni sono state aggiornate.
- Alcune applicazioni aggiornate alla "nuova" versione, tra virgolette, perché GNOME 41 esiste già.
- Miglioramenti a Wayland.
- Come potrebbe essere altrimenti, è stato utilizzato per correggere tutti i tipi di bug, chiusure impreviste (crash), perdite di memoria, supporto migliorato per sessioni non systemd e traduzioni.
GNOME 40.7, o più specificamente il suo codice sorgente, è disponibile en questo link. Le app che sono state numerate 40.7 come ultima versione appariranno presto su Flathub. Da qui, diciamo che, a meno che non sia assolutamente necessario, è meglio aspettare che la nostra distribuzione Linux aggiunga i nuovi pacchetti ai suoi repository ufficiali.