search

essembeh / gnome-extensions-cli

Command line tool to manage your Gnome Shell extensions
Apache License 2.0
103 stars 5 forks source link

Disable updating system-provided extensions #4

Closed eliminmax closed 1 year ago

eliminmax commented 1 year ago

Hello! I have found gnome-extensions-cli to be a useful tool to manage my GNOME extensions on Pop!_OS. The issue is that Pop!_OS includes a number of extensions that are provided through the system package manager. Those packages are correctly identified as /system packages, but when I run gext u, it tries to install upgrades to them. Would it be possible to add a command-line flag to only upgrade user extensions?

essembeh commented 1 year ago

Hi

This is a good idea, would a --user argument do the work for you? So that the default behavior would remain to update all extensions, because I also have system extensions in Debian and I want to update them like the official browser extension does.

Any other suggestion?

eliminmax commented 1 year ago

A --user argument would be perfect! Thanks for getting back to me so fast!