недавно копался в интернете наткнулся на видосик 10 of My Favorite Gnome-shell Extensions , очень понравилось, советую глянуть любмтелям шела.

и бонус))), старенькое: