Ekstensi shell gnome terbaik untuk ubuntu

Jika Anda adalah pengguna Ubuntu, Anda akan menyukai posting ini yang kami siapkan untuk menyajikan kepada Anda lima ekstensi GNOME Shell terbaik untuk sistem operasi Canonical yang dengannya Anda dapat memastikan bahwa sistem beradaptasi dengan lebih baik dengan selera dan preferensi Anda dan kemungkinan produktivitas yang lebih besar.

5 ekstensi GNOME Shell terbaik untuk Ubuntu Anda

Dash ke Dock

Pertama-tama kita memiliki ekstensi Dash to Dock yang memungkinkan Anda untuk menempatkan Dash GNOME sebagai dek desktop alih-alih bilah samping GNOME Shell yang khas. Dengan dock baru Anda akan dapat menambahkan peluncur aplikasi, memesan ulang, menggunakannya untuk meminimalkan aplikasi dan beralih di antara yang Anda buka. Seperti halnya dock yang baik, Anda dapat menyesuaikannya dalam ukuran dan tema yang berbeda.

Dash ke Dock pada Extensions GNOME

TopIcons Plus

Ekstensi yang akan menyelesaikan masalah aplikasi yang lebih lama dengan ikon yang memerlukan bilah tugas, yang cenderung tersembunyi di sudut kiri bawah GNOME Shell. Efek tidak menyenangkan yang memperumit penggunaan beberapa aplikasi seperti Skype, Franz, Telegram dan Dropbox yang didasarkan pada ikon di bilah tugas.

TopIcons Plus pada Ekstensi GNOME

Kafein

Ekstensi yang bertanggung jawab untuk menjaga komputer Anda tetap terjaga, sangat berguna jika Anda ingin mencegah screen saver dan suspensi otomatis muncul di laptop Anda. Mendukung GNOME Shell 3.4 atau lebih tinggi.

Kafein pada Ekstensi GNOME

Terminal Drop Down

Terminal perintah Linux yang praktis juga patut mendapat ekstensi. Drop Down Terminal akan melayani Anda untuk mengakses terminal dengan menekan beberapa tombol pada keyboard Anda.

Terminal Drop Down pada Ekstensi GNOME

Gulir Ruang Kerja Panel Atas

Jika Anda adalah pengguna yang memanfaatkan berbagai lingkungan kerja, ekstensi ini akan memungkinkan Anda untuk beralih di antaranya dengan sangat cepat dengan gulir sederhana di panel atas.

Sumber: omgubuntu