Breve guida per editare il file dei repository debian.
1. Da terminale digitare:
sudo apt edit-sources
2. ora aggiungere, ad esempio, i repository Backports
#Debian Backports
deb http://deb.debian.org/debian bookworm-backports main contrib non-free
deb-src http://deb.debian.org/debian bookworm-backports main contrib non-free
3. Salvare (ctrl+o), sovrascrivere il nome del file proposto(semplicemente con il tasto invio) e chiudere (ctrl+x)
4. Ora non ci resta che fare un update
sudo apt update
Debian 12 è una distro solida e longeva, molto apprezzata per stabilità e sicurezza. I software presenti sono nelle versioni piu’ stabili, come ad esempio Firefox presente nella versione ESR (Extended Support Release). Se volessimo […]
Attualmente Mozilla offre due diversi canali per gli aggiornamenti di Firefox: aggiornamento rapido e aggiornamento a supporto esteso (Extended Support Release o ESR). Canale ESR: riceve aggiornamenti importanti all’incirca ogni quarantadue settimane e aggiornamenti minori […]
Purtroppo GNOME, nel suo pannello delle impostazioni relative allo schermo, non ci da la possibilità del ridimensionamento frazionario, ma solo 100%, 200% ….. Quindi, come possiamo ottenere tale ridimensionamento? Da terminale: sudo gsettings set org.gnome.mutter […]
Copyright © 2025 - danielepiu.it
