Ubuntu 17.10: Installare estensioni da GNOME Shell Extensions 23 Ottobre 2017 0 Comment Linux, System Admin Pubblicato da Giuseppe D'Anna