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 […]
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 […]
Come scrissi in un precedente articolo, è decisamente giunto il momento di passare a PHP 7.3. Per Zend – nel momento in cui scrivo – la sezione 7.3.3 è considerata l’attualmente stabile. 7.2.16 e 7.1.17 le old stable. La 5 non esiste più: deve essere abbandonato. Come installare PHP 7.3 su Ubuntu 18.04 o 16.04 […]
Per creare una USB Bootabile di Windows 10 in Ubuntu, qualunque tutorial indica come soluzione WoeUSB. Il problema reale è che Windows 10 diviene sempre più grande, e parte della sua ISO sfora di poco i 4Gb supportati da WoeUSB lato GUI. Dalla release 1809 (di Ottobre) di Windows 10 la GUI di WoeUSB non […]
Aggiornamento rispetto a quanto scritto ieri: anche KDE Neon Plasma 5.15.0 Desktop è in mezzo a noi. Durante la scorsa giornata il progetto non ufficiale basato su desktop KDE (e Ubuntu 18.04) è passato anch’esso dalla versione 5.14.5 alla 5.15.0. Il changelog è da ritenersi identico a quello di KDE Plasma e quindi a quanto riportato nel precedente […]