No aplicativo GNOME Software, posso instalar extensões diretamente de extensions.gnome.org. É um repositório lá, como é evidente por isso:
No entanto, isso só aparece no GNOME Software; a saída de dnf repolist
é a seguinte:
repo id repo name
fedora Fedora 31 - x86_64
fedora-modular Fedora Modular 31 - x86_64
rpmfusion-free RPM Fusion for Fedora 31 - Free
rpmfusion-free-updates RPM Fusion for Fedora 31 - Free - Updates
rpmfusion-nonfree RPM Fusion for Fedora 31 - Nonfree
rpmfusion-nonfree-updates RPM Fusion for Fedora 31 - Nonfree - Updates
updates Fedora 31 - x86_64 - Updates
updates-modular Fedora Modular 31 - x86_64 - Updates
Como eu iria adicionar este repositório para que ele esteja disponível em dnf?
Infelizmente, você não pode. Essas extensões não são empacotadas no formato RPM e o DNF só pode lidar com RPMs. O GNOME Software, por outro lado, lida com vários formatos além do RPM, incluindo Flatpaks e... de qualquer forma que o extensions.gnome.org forneça extensões.
Na minha experiência, a partir da linha de comando, a melhor abordagem é clonar o repositório git upstream para qualquer extensão em que você esteja interessado e instalar com
gnome-shell-extension-tool
.