Skip to content
LogoTechnipages
LogoTechnipages
  • Topics
        • Android
        • Browsers
        • Gaming
        • Hardware
        • Internet
        • iPhone
        • Linux
        • macOS
        • Office
        • Reviews
        • Software
        • Windows
        • Definitions
        • All Recent Posts
  • Product Reviews
  • About

Linux Mint: How to Add New Extensions

Mel HawthorneDecember 2, 2020 Comments (0)

Linux Mint comes with a set of built-in functions, there are, however, a number of ways to expand that functionality. The most obvious way to add more features to an operating system is to install more software, however, Linux Mint has a few sets of tools that you can install too: desklets, applets, and extensions.

Desklets are small tools that show up on your desktop, providing extra information such as a weather feed. Applets are similar but they are placed in the bottom bar of the screen rather than on the desktop. Extensions change the overall behaviour of Linux Mint and are generally somewhat minor graphical changes. To add an extension, press the Super key, then type “Extensions” and hit enter.

Tip: The “Super” key is the name that many Linux distributions use to refer to the Windows key or the Apple “Command” key, while avoiding any risk of trademark issues.

Press the Super key, then type “Extensions” and hit enter.

Once you’re in the extensions window, switch to the “Download” tab as you don’t have any currently installed extensions to configure. From the “Download” tab, search through the list of available extensions to see which ones you want to install.

If you can see a notification at the top that “Your cache is out of date”, you should click “Yes” to update the list of extensions to the latest version. If you want to manually check that you have the latest versions, even if you don’t see the warning, click the “Refresh” icon in the bottom-right corner.

You can see more information about an extension by selecting it, then clicking the lightbulb icon in the bottom-left, labelled “More info”. When you know you want to use an extension, click the relevant download button to install it.

In the “Download” tab you should refresh the extension list, then view the information for and download any extensions you want to use.

Once you’ve installed one or more extensions, switch back to the “Manage” tab. To enable an installed extension, select it, then click the “Add” button in the bottom-left. Most extensions will have a set of options that you can configure by clicking on the respective cogwheel icon on the right-hand side. You can only configure the options for an extension once it is active.

In the “Manage” tab you can enable installed extensions and configure their settings.

Categories: Linux

Author Mel Hawthorne

You Might Also Like

  • Linux Mint: How to Configure the Bottom Panel

    Mel HawthorneLinux
  • Linux Mint: How to Boost the Volume Over 100%

    Mel HawthorneLinux
  • Linux Mint: How to Configure How Windows Gain Focus

    Mel HawthorneLinux
  • Twitch.tv: How to Add a Profile Picture and Banner

    Mel HawthorneLinux

Leave a Reply

Your email address will not be published. Required fields are marked *

fix 0x80070302 windows update error

How to Fix the 0x80070302 Windows Update Error

how to allocate more memory to a program

How to Allocate More Memory to a Program in Windows

marvel rivals memory leak fix

Marvel Rivals Using Too Much Memory – How to Fix

how to create a macro in word

How to Create a Macro in Word

how to set video as screen saver

How to Set a Video as Your Screen Saver on Windows 11

profile pic

The Experts Behind Technipages

My name is Mitch Bartlett. I've been working in technology for over 20 years in a wide range of tech jobs from Tech Support to Software Testing. I started this site as a technical guide for myself and it has grown into what I hope is a useful reference for all.

Learn More

technipages logo white
linkedin icon

Technipages is part of Guiding Tech Media, a leading digital media publisher focused on helping people figure out technology. Learn more about our mission and team here.

© 2025 Guiding Tech Media All Rights Reserved

  • About Us
  • Contact
  • Legal & Privacy

© 2025 Guiding Tech Media All Rights Reserved

Information from your device can be used to personalize your ad experience.
Do not sell my personal information.

Last Updated on December 2, 2020 by Mitch Bartlett