Мои Gnome Shell Extensions

Не забудьте User Themes, c помощью его можно легко устанавливать темы Gnome Shell. Все расширения устанавливались с https://extensions.gnome.org/