ubuntu

Mattepuffo's logo
Aggiornare Ubuntu 17.04 a Ubuntu 17.10

Aggiornare Ubuntu 17.04 a Ubuntu 17.10

Per aggiornare Ubuntu dalla versione 17.04 alla 17.10, ci stanno varie strade.

Io prediligo quella da riga di comando, testata sia su Ubuntu che Xubuntu.

In verità non dovrebbero esserci differenze; ma comunque le impostazioni dei programmi grafici sono differentei, e la riga di comando, invece, è universale (in questo caso).

Questa la procedura, previo backup!

Mattepuffo's logo
Ripristinare il file .bashrc di default in Ubuntu

Ripristinare il file .bashrc di default in Ubuntu

Il file .bashrc è molto importante per chi usa molto la riga di comando in Linux.

Questo perchè è possibile configurare diverse cose senza andare ad intaccare la configurazione globale del sistema.

E' comunque possibile fare qualche casino, e voler ripristinare la versione di default.

Mattepuffo's logo
Eseguire comandi su server multipli in Linux

Eseguire comandi su server multipli in Linux

Se abbiamo più server basati su Linux, dobbiamo collegarci su ognuno singolarmente ed eseguire gli stessi comandi più volte.

Fino a che sono un paio, nulla di serio; ma quando magari sono une ventina, può diventare problematico!

Ho scoperto, però, DSH, che ci permette di eseguire lo stesso comando su più server contemporaneamente tramite SSH.

Mattepuffo's logo
Comprimere PDF in Linux

Comprimere PDF in Linux

L'altro giorno misono imbattutto in un PDF di circa 300 MB, e avevo bisogno di alleggerirlo.

Su Linux ho scoperto che possiamo usare PDFtk!

Per installarlo su Debian e Ubuntu:

# aptitude install pdftk