Baru saja ditingkatkan ke Ubuntu 14.04, yang tampaknya juga membuat pemasangan ulang Chromium penuh (karena semua plugin saya dihapus). Sekarang, mencoba mengakses https://extensions.gnome.org/untuk mengaktifkan ekstensi Gnome Shell, tetapi pesannya: Kami tidak dapat mendeteksi salinan GNOME...