Convertire un PDF in PDF/A da riga di comando
Usare Ghostscript per trasformare un normale PDF in un documento PDF/A
Latest posts
Comandi: xargs
xargs è uno dei comandi più utili che la riga di comando offra, vediamo qualche esempio per capire come si usa.
Configurare correttamente l'installazione di pacchetti globali con npm su Linux
Come installare un repository globale personale per pacchetti npm, per evitare errori di diritti di accesso.
Determinare il proprio IP pubblico da riga di comando
Ecco come determinare facilmente l'indirizzo IP pubblico della propria macchina dalla riga di comando.
Tutto quello che devi sapere su ps
Il comando ps consente di ottenere informazioni sui processi in esecuzione. E' un comando molto versatile ma anche complesso. Ecco una rapida introduzione per capire tutto quello che ti serve per usare ps in modo corretto.
Usare il copia/incolla nel terminale
Usare il copia incolla dovrebbe essere semplice ma con il terminale può non essere così. Vediamo come fare.
Manipolare le variabili stringa con Bash
Manipolare le stringhe con la shell Bash è facile e divertente. Impariamo a farlo partendo da esempi pratici.
Come reimmettere rapidamente un comando già dato aggiungendo sudo
Scordate spesso di digitare sudo prima dei comandi da inviare come root? Questo trucco vi evita di ridigitare tutto il comando.