GitHub CLI è un nuovo tool in fase beta che permette di gestire repository presenti su GitHub, così come Pull Request e Issues, direttamente dal terminale senza dover visitare il sito web ogni qualv…
Da studente spesso mi ritrovo a scrivere del codice in mobilità e più volte mi sono scontrato con la necessità di consultare una documentazione in assenza di connessione. La soluzione al problema …
Dopo aver aggiornato il proprio sistema con CentOS o RHEL non è raro porsi la seguente domanda: "Devo proprio riavviare il PC / server?". Ebbene, grazie ad un comando sarà proprio la nostr…
Varnish è un potete strumento per la gestione della cache di applicativi con grossi carichi di contenuti. Normalmente questo sistema viene utilizzato in combinazione con Apache o Nginx. In questa gu…
Ogni tanto capita che ci serva una chiavetta con una ISO avviabile di Windows (per installarlo sul PC di un amico o il nostro), però su Linux non esiste lo strumento Media Creation Tool di Microsoft.…
Che tu sia un sistemista, uno sviluppatore o un normale utente Linux, potresti trovarti in una situazione in cui hai bisogno di conoscere delle informazioni sul sistema che stai utilizzando, come la v…
Dette anche "regex", le espressioni regolari sono (semplificando ai minimi termini) un meccanismo per definire e riconoscere un insieme di stringhe a partire da una sequenza di simboli che n…
MariaDB è una implementazione di MySQL che porta con sé diversi miglioramenti come ad esempio un supporto più esteso ai differenti storage engine, plugin e altre funzionalità degne di nota come la…
Timeshift è uno strumento opensource che offre funzionalità di backup simili a Strumento Ripristino configurazione di sistema di Windows e a Time Machine di MacOS. Timeshift, come alcuni di questi s…
Fish, definita anche come Friendly Interactive Shell, è una shell pronta all'uso che offre suggerimenti automatici, completamento dei comandi automatico, un linguaggio di scripting completamente …
Solitamente quando si utilizza GitHub come hosting Git remoto per i progetti (sviluppati da noi o a cui contribuiamo) si è soliti eseguire le principali operazioni di clone, push o pull autenticandos…
