marc
/
gnome-extension-download-url
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases 1 Wiki Activity
A simple script to get the download URL of a GNOME Shell extension from its UUID.
1 Commit 1 Branch 1 Tag 38 KiB
Python 100%
Go to file
Marc Koch b92027a780 Initial commit 2025-09-07 20:17:01 +02:00
src/gnome_extension_download_url Initial commit 2025-09-07 20:17:01 +02:00
tests Initial commit 2025-09-07 20:17:01 +02:00
.gitignore Initial commit 2025-09-07 20:17:01 +02:00
.python-version Initial commit 2025-09-07 20:17:01 +02:00
LICENSE Initial commit 2025-09-07 20:17:01 +02:00
README.md Initial commit 2025-09-07 20:17:01 +02:00
pyproject.toml Initial commit 2025-09-07 20:17:01 +02:00
uv.lock Initial commit 2025-09-07 20:17:01 +02:00

README.md

gnome-extension-download-url

A simple script to get the download URL of a GNOME Shell extension from its UUID.

Installation

You can download the via pipx:

pipx install --index-url https://git.extrasolar.space/api/packages/marc/pypi/simple/ --pip-args="--extra-index-url https://pypi.org/simple" gnome-extension-download-ur

Usage

gnome-extension-download-url [EXTENSION EXTENSION_VERSION] [GNOME_SHELL_VERSION] [-h|--help]
  • EXTENSION: the extension UUID (e.g. gsconnect@andyholmes.github.io)
  • EXTENSION_VERSION: the version of the extension (optional, default: latest, e.g. 66 or latest)
  • GNOME_SHELL_VERSION: the version of GNOME shell (optional, default: latest, e.g. 46, 3.36 or latest)
  • -h, --help: show help message