L'articolo che segue rappresenta la seconda parte della #pausacaffè presente qui. Settimana prossima seguirà l'articolo finale. Introduzione Ci si tiene a sottolineare che la maggior parte dell...

Sono molti i casi che vedono la necessità, di dover accedere a percorsi remoti da un'altra postazione. Con sshfs possiamo "collegare" una posizione remota da un server/pc ad un altro. Installazione...

L'articolo che segue sarà suddiviso in più parti, ognuna della quale uscirà ogni settimana. Introduzione Ci si tiene a sottolineare che la maggior parte delle analisi deriva da un flusso logico ...

Oh My Zsh è un framework open source creato per personalizzare la propria configurazione di default di zsh, una delle shell più utilizzate in alternativa alla classica bash, di recente è stata adottat...

In questa breve guida vediamo come installare php nella versione più recente ed aggiornata (php 7.3 nel momento in cui scrivo questa guida). È importante tenere aggiornata la versione di php per so...

Spesso, per diminuire il peso di un file o raggruppare tanti documenti (o cartelle) si ricorre alla compressione in archivi. Sono molti i formati in cui è possibile creare un archivio. In questa gu...

I formati di compressione sono molti e spesso sono altrettanto differenti gli strumenti per decomprimerli. In questa guida vediamo come decomprimere i principali formati di compressione. Gz P...

Spesso i server di produzione sono fermi ad una versione meno recente (ma non per forza obsoleta) del sistema operativo. Questo a causa di possibili conflitti, mancanza di compatibilità e soprattutto ...

Sono molte le cirostanze in cui torna utile il backup di un database, ad esempio nella preparazione ad una migrazione o semplicemente per protezione dei dati. In questa guida vediamo come è possibi...

Wayland offre diverse ottimizzazioni per HiDPI, nonostante ciò non è ancora possibile sfruttarlo ovunque a causa del supporto software non ancora completo.  Possiamo però ottimizzare la nostra es...