mint

Mattepuffo's logo
Aggiornare a Linux Mint 19

Aggiornare a Linux Mint 19

Ho eseguito due aggiornamenti a Linux Mint 19, e devo dire che non ho riscontrato problemi.

Ed inoltre, la nuova versione, sembra funzionare meglio.

Vi indico i passaggi che eseguito.

Mattepuffo's logo
Installare Oracle JDK 10 su Linux Mint

Installare Oracle JDK 10 su Linux Mint

Avevo la necessità di installare il JDK 10 su Linux Mint, e sono stato costretto ad installare la versione Oracle, in quanto OpenJDK 10 ancora non esiste.

La versione di Mint che sto usando è la 19, ma dovrebbe essere uguale anche per le versioni precedenti.

Mattepuffo's logo
Backup e ripristino dei pacchetti in Debian, Ubuntu e Mint

Backup e ripristino dei pacchetti in Debian, Ubuntu e Mint

Questo piccolo tip vale, ovviamente, anche per tutte le distro derivate da Debian, Ubuntu e Mint.

In sostanza dovrebbe valere per tutte le distro che usando APT e DPKG.

Vediamo come eseguire il backup dei pacchetti in una lista, in modo poterli ripristinare facilmente in uno altro sistema.

Per creare la lista:

$ dpkg --get-selections > pkgs.list

Mattepuffo's logo
Creare e convertire immagini WebP con Linux

Creare e convertire immagini WebP con Linux

WebP è un nuovo formato di immagini creato da Google; tra le sue caratteristiche troviamo la possibilità di comprimere le immagini tenendo comunque una buona qualità, in teoria più alta del classico JPEG.

Ad oggi però questo formato non è ancora molto usato, e può capitare quindi di dover convertire una immagine WebP in un formato maggiormente supportato.

Per farlo dobbiamo installare prima di tutto una libreria apposita:

# aptitude install libwebp4 // UBUNTU e MINT
# pacman -Sy libwebp // ARCHLINUX

A questo punto spostiamoci con il terminale nella directory dove risiede l'immagine.

Mattepuffo's logo
Colordiff: usare diff con i colori

Colordiff: usare diff con i colori

Diff è un comando molto utile che ci permette di trovare le differenze tra file o directory.

Se però vogliamo vedere l'output in maniera più comoda possiamo usare Colordiff, un diff colorato.

Dovrebbe già trovarsi nei repo delle maggiori distro, quindi:

# pacman -Sy colordiff (su Archlinux)

# aptitude install colordiff (su Debian e Linux Mint)