Ultimo aggiornamento:21 Novembre 2020 Nell’articolo di oggi vi spiegherò i passaggi necessari per installare una macchina virtuale con VMWare. Come sistema host utilizzerò Windows e come guest Linux Mint Debian Edition. È possibile, ovviamente,...
Come sapete, se aprite e modificate un qualsiasi tipo di file, ad esempio un documento creato con LibreOffice, vengono aggiornati i timestamp riguardanti “l’ora di accesso” e “l’ora di modifica”. Potrebbe tornarvi utile sapere...
Nella mini guida di oggi vi mostrerò come virtualizzare una qualsiasi distribuzione GNU/Linux utilizzando VirtualBox. Nell’esempio come sistema di host utilizzerò Windows e come guest Xubuntu 20.10, ma la procedura è riproducibile anche con...
Se hai mai utilizzato un sistema Linux desktop, devi aver visto questa schermata. Questa è chiamata schermata GRUB. Sì, è scritto tutto in maiuscolo. In questo artiolo, ti dirò cos’è Grub e per cosa...
Nella mini guida di oggi vi mostro come effettuare l’hosting di una web app, realizzata con Flutter, su un server privato. Come web server utilizzerò Nginx su una macchina virtuale ma, ovviamente, il tutto è...
Stratis è una piattaforma per la gestione dello storage locale che ha come punto di forza la semplicità di utilizzo. Questo tool, infatti, consente ad un amministratore di sistema di impostare e gestire configurazioni...
Da una ventina di giorni Microsoft ha rilasciato la preview del suo browser Edge su Linux. In questo articolo trovate le mie impressioni a riguardo. Come sapete, Google Chrome e Microsoft Edge sono entrambi...
Quando inizi a utilizzare Linux e segui siti Web e forum basati su Linux, ti imbatterai spesso in termini come GUI, CLI e talvolta TUI. Questo articolo spiega brevemente questi termini in modo che...
Advanced Copy è una patch open source grazie alla quale si può aggiungere una barra di avanzamento ai comandi cp (copy) e mv (move). Vediamo insieme il procedimento da seguire per installare questa mod...
Spesso quando si parla di distribuzioni si usa il termine Linux. Questa abbreviazione, che nasce sovente dalla pigrizia di chi scrive o di chi ne parla, è in realtà errata. Il termine corretto con...
Ultimo aggiornamento:28 Ottobre 2020 XSuspender è uno strumento che consente di sospendere le applicazioni X11 quando non sono attive. Lo scopo? Ridurre drasticamente l’uso del processore risparmiando batteria. Il tool usa SIGSTOP oppure uno...
Ultimo aggiornamento:24 Ottobre 2020 In questo articolo vi farò una panoramica su quelli che sono i sistemi per effettuare l’audit e mantenere sicura (o almeno provarci), la catena di avvio di un sistema operativo....
Dopo aver visto domenica scorsa “Cos’è un Display Server in Linux e a cosa serve?” affrontiamo oggi il Display Manager. Cos’è un Display Manager in Linux? In parole semplici, un Display Manager è un...
Ultimo aggiornamento:21 Ottobre 2020 Cpupower-gui è uno strumento che consente di modificare le impostazioni del governor della CPU e la frequenza operativa del processore su Linux. L’app è stata sviluppata in Python e si...
In questa breve guida vi mostro come procedere per aggiornare da Ubuntu 20.04 Focal Fossa a Ubuntu 20.10 Groovy Gorilla, disponibile da poche ore. Prima di farlo però è d’obbligo una riflessione: ne vale...
Zeit è una GUI Qt per cron e at che consente di pianificare uno o più task. L’applicazione permette di impostare timer e allarmi, ma anche di aggiungere, cancellare o modificare variabili d’ambiente. Di cron...
Negli articoli, nelle notizie e nelle discussioni relativi a Linux, troverai spesso il termine Display Server (server di visualizzazione) a nome Xorg, Wayland e altri. In questo articolo di spiegazione, parlerò dei Display Server...
Ultimo aggiornamento:15 Ottobre 2020 Un password manager è un utile tool che permette di generare e conservare, in modo sicuro, tutte le password utilizzate per i vari account che normalmente si hanno (e-mail, siti...
Ultimo aggiornamento:11 Ottobre 2020 GNU/Linux nasce come sistema multiutente. Questa mini guida per sysadmin è proprio un esempio di come, questa caratteristica del sistema operativo, si applica nell’utilizzo quotidiano. Vi mostrerò come configurare l’ambiente...
WhiteSur è un tema Gtk che ambisce a trasformare il nostro desktop GNU/Linux in una veste molto simile a quella di macOS Big Sur, il nuovo nato di casa Apple. Supporta GNOME Shell, Cinnamon,...
Uno dei punti principali in cui le distribuzioni GNU/Linux differiscono l’una dall’altra è la gestione dei pacchetti. Oggi imparerai a conoscere la pacchettizzazione e i gestori di pacchetti in Linux, i Package Manager. Imparerai cosa...
Rieccoci qui a parlare di Dike GoSign, un software sviluppato da Infocert per la firma elettronica dei documenti digitali. Questo software, disponibile anche per Linux in formato deb, è necessario a tutti quegli utenti...
In questo articolo vi parlerò della cache di apt, del motivo per il quale viene utilizzata e soprattutto vedremo come fare per ripulirla. Il sistema che utilizzerò per gli esempi è Linux Mint con...
Spesso vi abbiamo parlato di come sia in forte espansione il gaming su Linux. Alcuni fattori: una crescita importante del parco titoli grazie a Proton, l’aumento di laptop pensati per il gaming e la...