Ultimo aggiornamento:24 Febbraio 2021 In questo articolo vediamo come installare il tema GNOME Shell Adwaita su Ubuntu 20.04, 20.10 e 21.04. GNOME utilizza Adwaita come tema di default per GTK e per GNOME Shell...
Youtube-dl è un programma da riga di comando che consente di scaricare facilmente video e audio da più di mille siti Web. Usando la combinazione script youtube-dl e FFMPEG, puoi facilmente estrarre l’audio dai...
Youtube-DLG è un programma a riga di comando per scaricare video da YouTube su sistemi operativi Linux, CentOS, OpenSUSE, ecc. In questo articolo vi mostrerò come impostare l’ interfaccia grafica. A differenza del terminale...
FileZilla è un software libero multipiattaforma che permette il trasferimento di file in Rete attraverso protocollo FTP. Il programma è disponibile per GNU/Linux, Microsoft Windows, e macOS. Tra i protocolli supportati, oltre all’FTP vi...
Nell’articolo di oggi vi mostrerò come installare Anaconda sui sistemi GNU/Linux. Ananconda è una distribuzione dei linguaggi di programmazione Python e R per il data science, che mira a semplificare la gestione e la...
Ultimo aggiornamento:14 Febbraio 2021 Nell’articolo di oggi vi parlo della personalizzazione del terminale. In particolare, l’emulatore che utilizzerò è GNOME Terminal, il quale è presente di default nelle principali distribuzioni GNU/Linux. Dopo una breve...
Ultimo aggiornamento:4 Febbraio 2021 La mini guida di oggi è dedicata ad un argomento non tecnico, bensì estremamente utile nel quotidiano. Vi mostrerò come creare dei filtri basic in Thunderbird, il client di posta...
Ultimo aggiornamento:2 Febbraio 2021 In questa mini guida vi mostrerò come convertire un file system Ext in Btrfs. Btrfs è un file system moderno che sta prendendo sempre più piede ed è implementato di...
Ultimo aggiornamento:31 Gennaio 2021 Come sapete Linux è sinonimo di libertà e libertà in termini informatici si può anche declinare come la possibilità di scegliere tra diverse alternative. Ci sono una miriade di distribuzioni...
Ultimo aggiornamento:30 Gennaio 2021 Nella guida di oggi vi mostro come utilizzare efibootmgr per gestire la sequenza di avvio direttamente dallo userspace. Come suggerisce il nome stesso del tool, è necessario che la vostra...
Ultimo aggiornamento:26 Gennaio 2021 In questa mini guida vi mostro i pochi, semplici, passaggi per trasformare una qualsiasi stampante in una stampante wireless. Per farlo è sufficiente collegarla tramite il cavo USB ad un...
Ultimo aggiornamento:25 Gennaio 2021 Continua la serie di mini guide sul funzionamento di Arch Linux. Vi abbiamo già spiegato, infatti, come installare la distribuzione, come collegarsi ad una rete Wi-Fi ed il funzionamento di...
Android Studio è un IDE (Integrated Development Environment) sviluppato da Google. Viene usato per lo sviluppo di applicazioni mobili. Android Studio è basato sul software JetBrains IntelliJ IDEA ed è progettato specificamente per lo...
Nell’articolo di oggi vi mostrerò come poter installare il framework Doom Emacs. Considerato come una delle migliori modalità per addentrarsi nel micro cosmo di questo editor/sistema operativo, sarà la base di partenza per poter...
Ultimo aggiornamento:11 Gennaio 2021 Gdu è un tool open source perfetto per gli accumulatori seriali, coloro che non eliminano mai foto o documenti e ben si guardano dal rimuovere programmi che non usano perché...
Spesso vi abbiamo parlato di partizioni cifrate e di LUKS. In questo articolo, ad esempio, vi ho spiegato come creare una partizione persistente su una thumb drive cifrata. Oggi, invece, vi mostrerò come procedere...
In questa guida vi mostro come installare il linguaggio di programmazione Rust su una distro GNU/Linux. Rust-lang è un linguaggio moderno, realizzato con il preciso intento di sostituire il C/C++. Presto, inoltre, lo vedremo...
La scorsa settimana vi abbiamo proposto una lista dei principali strumenti di base che consentono di gestire un network. Tra questi figurava il comando di diagnostica ping, oggi vi mostro un’evoluzione di ping, Gping....
Su Debian 10 si verificano dei freeze randomici, dove praticamente l’unica cosa che funziona è il mouse, e questo mi è capitato sia con scheda grafica Nvidia, sia con la solo Intel, di conseguenza...
Per chi utilizza il Raspberry Pi, e di conseguenza Raspberry Pi OS ex Raspbian e non solo, si deve loggare con username “pi” e password “raspberry“. Chiaramente la prima cosa che si fa è quella di cambiare...
In questa breve guida vi mostro come installare Eternal Terminal. Questo tool open source può essere utilizzato come alternativa ad SSH. La sua principale funzionalità è quella di ristabilire la connessione a una macchina...
Ultimo aggiornamento: 3 Gennaio 2021 Lo scorso fine settimana abbiamo pubblicato una guida dal titolo Bash Fundamentals per introdurvi ai principali comandi della Shell Bash. Oggi, proseguendo su questa linea, vi mostro come abilitare...
Siete stufi di usare Calc di Libreoffice o i vari cloni di Excel? In questo articolo facciamo una breve introduzione all’uso delle librerie python che si usano nell’analisi di dati mostrando come fare interrogazioni...
Grazie al comando apt upgrade è molto semplice aggiornare tutti i pacchetti installati su Debian, Ubuntu e sulle varie derivate. Lanciando questo comando, tutti i pacchetti presenti nel sistema (e le relative dipendenze) verranno...