Re: [Trisquel-users] how to use gnome-shell-extensions package?

[onpon4]

The extensions show up for me. You need to log out and log back in (or maybe  
reboot, I'm not sure) before they show up, though.