Categoria: Senza categoria

0

Proviamo il nuovo tema di GNOME

La prossima major release di GNOME porterà un nuovo tema GTK più moderno e pulito. Il tema è ancora work in progress e potrebbe subire alcune variazioni ma possiamo dire che le linee generali...

0

RedHat segue Debian ed abbandona MongoDB

Era Ottobre dello scorso anno quando MongoDB Inc. ha annunciato il passaggio alla licenza Server Side Public License (SSPL) creando un certo disappunto nella community. MongoDB è un database NoSQL open-source estremamente popolare tra...

0

Come creare un alias personalizzato su Linux

Una delle funzioni più interessanti della bash è quella di poter creare degli alias della shell ovvero dei comandi personalizzati per eseguire sequenze di comandi difficili da ricordare o trascrivere. Come funziona un alias...

0

Server DHCP su Debian 10 Buster

Server DHCP su Debian 10 Buster. Installazione e configurazione di un server dhcp su Debian Buster: # apt install isc-dhcp-server settare la scheda di rete da utilzzare, nel mio caso eth0: # nano /etc/default/isc-dhcp-server...

0

Firefox 69 dirà ufficialmente addio a Flash

Era un po’ di tempo che attendevamo ma alla fine è arrivata la conferma ufficiale dalla Mozilla Foundation, che ha stabilito finalmente una deadline ufficiale e definitiva per quanto riguarda l’argomento fine del supporto...

0

Come ricostruire la cache dei fonts su Linux

Quest’opera è distribuita con Licenza Creative Commons Attribuzione – Non commerciale – Non opere derivate 4.0 Internazionale. Questo blog non rappresenta una testata giornalistica, in quanto viene aggiornato senza alcuna periodicità. Non può, pertanto,...