pomp/setup-script-py
1
0
Fork 0
Code Activity

add GNOME extension manager

Browse source
This commit is contained in:
Kim, Jimin 2022-11-08 22:33:35 +09:00
parent 86117ebaa5
commit 7a69a0ec86
1 changed files with 9 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

9
src/setup/apps/gnome_extension_manager.py Normal file
View file

@ -0,0 +1,9 @@
from src.util import flatpak_install
name = "GNOME extension manager"
def setup():
"""GNOME extension manager without using browsers"""
flatpak_install("com.mattjakeman.ExtensionManager")