Tampilkan postingan dengan label Gnome. Tampilkan semua postingan
Tampilkan postingan dengan label Gnome. Tampilkan semua postingan

Cara Menghapus Gnome Shell Extensions

Jumat, 13 Desember 2019

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.

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.