X Tutup
Skip to content

Replace the deprecated gnome-shell-extension-tool with gnome-extensions.#885

Merged
PapyElGringo merged 1 commit intomaterial-shell:mainfrom
expeehaa:drop_usage_of_shell-extension-tool
Sep 27, 2022
Merged

Replace the deprecated gnome-shell-extension-tool with gnome-extensions.#885
PapyElGringo merged 1 commit intomaterial-shell:mainfrom
expeehaa:drop_usage_of_shell-extension-tool

Conversation

@expeehaa
Copy link
Contributor

Since 2019-07-11 (before the release of the lowest compatible Gnome version 40), gnome-shell-extension-tool is deprecated in favor of gnome-extensions and was changed to be a wrapper for it. For the wrapping to work, gnome-extensions has to be already installed, thus this change should not break anything.

scripts/install.py also uses gnome-extensions already.

Since 2019-07-11 (before the release of the lowest compatible Gnome version 40), gnome-shell-extension-tool is deprecated in favor of gnome-extensions and was changed to be a wrapper for it.
For the wrapping to work, gnome-extensions has to be already installed, thus this change should not break anything.
@PapyElGringo PapyElGringo merged commit 7317b04 into material-shell:main Sep 27, 2022
@expeehaa expeehaa deleted the drop_usage_of_shell-extension-tool branch September 28, 2022 09:31
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants

X Tutup