Come ottenere dinamicamente l'ID di un container Docker in uno script Bash
Quando si lavora con Docker, può capitare di dover eseguire comandi all'interno di un container.
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.