Guide Archivi - Pagina 17 di 82

Manjaro GNOME: Rimuovere le personalizzazioni e impostare il tema di default di GNOME

Manjaro GNOME offre una serie di personalizzazioni estetiche che non si fermano solo al tema GTK e alle estensioni, ma

Una delle funzioni più interessanti della bash è quella di poter creare degli alias della shell ovvero dei comandi personalizzati

A partire dal rilascio di KDE Applications 17.04 gli sviluppatori di Dolphin hanno rimosso la possibilità di eseguire Dolphin come utente

Quando si installa un nuovo font su una distribuzione GNU/Linux c’è la necessità di dover ricostruire la cache dei fonts.

Il team di KDE è lavora sempre su più fronti aggiornando regolarmente anche le icone di sistema. Può capitare, a

Introduzione Fedora è una distribuzione estremamente fluida e molto ben costruita. Ma basta poco per accorgersi che il tutto è

Il tearing video, specie con i driver NVIDIA, è un problema di vecchia data in ambiente Linux. Nel corso degli

Dopo il rilascio di Linux Mint 19.1 avvenuto qualche giorno fa, il team di Linux Mint ha comunicato l’arrivo dell’aggiornamento