Cara Menghapus Gnome Shell Extensions. Beberapa waktu yang lalu saya pernah sharing mengenai cara menginstall Gnome extension di Ubuntu. Nah, karena beberapa alasan saya berniat menghapus ekstensi yang sudah terinstall tersebut, namun ternyata tidak ada menu atau opsi delete di Gnome Tweak.
Tampilkan postingan dengan label Gnome. Tampilkan semua postingan
Tampilkan postingan dengan label Gnome. Tampilkan semua postingan
Mempercantik Desktop Gnome dengan Arc Theme
Kamis, 17 Oktober 2019
Mempercantik Desktop GNOME dengan Arc Theme. Mengganti tampilan atau tema kadang diperlukan agar kita tidak bosan dengan tampilan sistem operasi yang kita pakai. Di artikel ini saya akan sharing salahsatu theme Gnome yang cukup populer, Arc Theme.
GNOME 3.20 Dirilis, Lebih Banyak Perbaikan dan Aplikasi Baru
Kamis, 24 Maret 2016
Desktop Environtment GNOME merilis versi 3.20 . Versi terbaru ini diyakini membawa banyak perubahan dan perbaikan bugs. GNOME 3.20 ini diberi nama "Delhi" , merujuk pada acara GNOME.Asia 2016 yang diselenggarakan di Delhi, India.