KDE Plasma 5.19 come aggiornare a Ubuntu 20.04

Finalmente KDE Plasma alla versione 5.19 si aggiorna ad Ubuntu 20.04 Focal.   Come aggiornare KDE Plasma 5.19.4 ad Ubuntu 20.04 . Il passaggio, in teoria, dovrebbe essere semplice ed indolore. Di fatti, Discover proporrà, con un’icona di notifica gialla e bianca, che il passaggio da Ubuntu 18.04 a 20.04 è possibile. Nella stragrande maggioranza […]

Continua a Leggere →
 

KDE Plasma 5.17.0 finalmente disponibile

Finalmente KDE Plasma 5.17.0 è arrivato e con lui KDE Neon 5.17. Ci si aspettava novità eclatanti da questa release, ed effettivamente sono presenti migliorie decisive e features non da poco. Le novità di KDE Plasma 5.17.0. Dal comunicato ufficiale si evincono alcune caratteristiche molto interessanti. Night Color, il sistema di classificazione dei colori che […]

Continua a Leggere →
 

MariaDB – installare ultima release su Ubuntu LTS e derivate

I repositories ufficiali di Ubuntu 18.04 LTS permettono di installare MariaDB, ma alla versione 10.1, oramai troppo vecchia. A partire dalla versione 10.2 il database server integra funzionalità avanzate, come la gestione dei json (assente nella 10.1). Ecco come procedere all’installazione della versione più recente. Come installare MariaDB su Ubuntu 18.04 o 16.04 (e loro […]

Continua a Leggere →
 

PHP 7.3 – installare php7.3-zip su distribuzioni base Ubuntu

In una precedente guida spiegai come installare php 7.3 su distribuzioni a base Ubuntu. Mi son successivamente reso conto che l’estensione php7.3-zip dipende fortemente da libzip4. Come installare estensione zip di PHP 7.3 su Ubuntu 18.04 o 16.04 (e loro derivate) Come per il precedente articolo, prendo in considerazione le ultime due LTS stabili di […]

Continua a Leggere →