Lighttpd è un web server Open source, semplice da configurare e promette alte performance ad un costo minimo in termini di risorse. La sua versatilità gli permette di girare su hardware di...…
2 minuti circa di lettura Leggi tuttoGitHub 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...…
2 minuti circa di lettura Leggi tuttoDa 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...…
2 minuti circa di lettura Leggi tuttoDopo 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...…
2 minuti circa di lettura Leggi tuttoVarnish è 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 guida tratteremo...…
1 minuti circa di lettura Leggi tuttoOgni 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...…
2 minuti circa di lettura Leggi tuttoChe 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...…
4 minuti circa di lettura Leggi tutto