Extension Manager is a new, unofficial application to browse and install GNOME Shell extensions from your desktop, without having to use a web browser. Learn how to install and use Extension Manager here.
Get the Free Newsletter!
Subscribe to Developer Insider for top news, trends, & analysis