Bash
Articoli e tutorial sulla shell più usata nel mondo Linux e Unix-like.
-
Generare un QR Code con Bash
Generare un QR Code direttamente da una shell Bash è un'operazione semplice e utile per automatizzare la condivisione di URL, testi o credenziali Wi-Fi.
-
Generare e gestire un DOI con Bash
Il DOI (Digital Object Identifier) è un identificatore persistente usato per identificare contenuti digitali in modo univoco. In ambito accademico e scientifico, è essenziale per citare pubblicazioni, dataset e risorse digitali. In questo articolo vediamo come generare e gestire un DOI utilizzando la shell Bash.
-
Parsing di un file PDF con Bash
Analizzare il contenuto di un file PDF direttamente da Bash può essere utile in vari contesti, come l’estrazione automatizzata di testi, la ricerca di parole chiave o la conversione in altri formati.
-
Importare un dump MySQL in un container Docker: da una soluzione one-liner a una soluzione flessibile e riusabile
In questo articolo vedremo come sviluppare ulteriormente una soluzione minimale per l'importazione di un dump MySQL in modo da approdare ad una soluzione più avanzata ed affidabile.