Negli USA la Food and Drug Administration (FDA) il 27/06/2019 ha avvertito consumatori e medici che Medtronic sta richiamando alcuni modelli di pompe insuliniche soggette a possibilità di hacking. Tali microinfusori non sono riparabili nè il loro software è aggiornabile per risolvere o mitigare il problema. La FDA ha sollevato numerose preoccupazioni sulla vulnerabilità di […]
KDE Neon Plasma 5.16.0 Desktop è finalmente in mezzo a noi. Durante la scorsa giornata il progetto non ufficiale basato su desktop KDE è arrivato alla versione 5.16.0 seguendo a ruota il desktop KDE Plasma stesso (a sua volta alla 5.16). Il changelog è anche questa volta da ritenersi identico a quello di KDE Plasma. […]
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 […]