Categoria: Appunti liberi *nix
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...
Cerchi un modo per convertire i tuoi file preferiti da MP4 a formato MP3 per goderti la riproduzione musicale? Eccoti vari modi per farlo sul tuo PC Linux. Il formato file video MPEG-4, comunemente...
Ultimo aggiornamento:28 Dicembre 2020 Essere in grado di risolvere alcuni piccoli problemi di rete può sempre tornare utile nell’utilizzo quotidiano di una distro GNU/Linux. Per facilitare la risoluzione di piccole problematiche ho deciso di...
Ultimo aggiornamento:27 Dicembre 2020 In questo breve articolo vi parlo di uno strumento che ritengo molto interessante, Topgrade. Questo command line tool permette di semplificare moltissimo l’aggiornamento dei vostri package preferiti. Mantenere il sistema...
Guida su come installare Winehq 5.0 su Debian 10. Wine è in grado di far girare alcune applicazioni native per Windows, sotto Linux, BSD, OSX. 1) Abilitare architettura 32bit $ sudo dpkg –add-architecture i386 2) Aggiungere repository ufficiali...
Guida su come creare una usb bootable con Windows 10 in UEFI mode, direttamente da Debian 10 utilizzando Woeusb-fronted-wxgtk come Gui. Precedentemente avevo già fatto una guida utilizzando Woeusb, ma ci sono state delle modifiche. Ancora prima un’altra...
Guida su come incrementare lo spazio di swap su tutti i Raspberry Pi. Verifica swap attuale: $ cat /proc/meminfo | grep Swap Incrementare: $ sudo dphys-swapfile swapoff $ sudo nano /etc/dphys-swapfile modificare: CONF_SWAPSIZE=100 a CONF_SWAPSIZE=512 Abilitare nuovo spazio...