diff options
-rw-r--r-- | misc/old-reddit-page-cleanup.user.js (renamed from misc/old-reddit-page-cleanup.js) | 0 | ||||
-rw-r--r-- | misc/piped-preferences.user.js (renamed from misc/piped-preferences.js) | 0 | ||||
-rw-r--r-- | misc/rateyourmusic.com-dark-reader-compatibility.user.js (renamed from misc/rateyourmusic.com-dark-reader-compatibility.js) | 0 | ||||
-rw-r--r-- | misc/reddit-redirect-to-old-reddit.user.js (renamed from misc/reddit-redirect-to-old-reddit.js) | 0 | ||||
-rw-r--r-- | misc/usps-fill-out-scheduled-pickup.user.js (renamed from misc/usps-fill-out-scheduled-pickup.js) | 0 | ||||
-rw-r--r-- | mkconfig.py | 9 | ||||
-rw-r--r-- | youtube/disable-mini-player.user.js (renamed from youtube/disable-mini-player.js) | 0 | ||||
-rw-r--r-- | youtube/piped-button.user.js (renamed from youtube/piped-button.js) | 0 | ||||
-rw-r--r-- | youtube/remove-home-shorts.user.js (renamed from youtube/remove-home-shorts.js) | 0 |
9 files changed, 3 insertions, 6 deletions
diff --git a/misc/old-reddit-page-cleanup.js b/misc/old-reddit-page-cleanup.user.js index ab4007a..ab4007a 100644 --- a/misc/old-reddit-page-cleanup.js +++ b/misc/old-reddit-page-cleanup.user.js diff --git a/misc/piped-preferences.js b/misc/piped-preferences.user.js index a168418..a168418 100644 --- a/misc/piped-preferences.js +++ b/misc/piped-preferences.user.js diff --git a/misc/rateyourmusic.com-dark-reader-compatibility.js b/misc/rateyourmusic.com-dark-reader-compatibility.user.js index e2c20c2..e2c20c2 100644 --- a/misc/rateyourmusic.com-dark-reader-compatibility.js +++ b/misc/rateyourmusic.com-dark-reader-compatibility.user.js diff --git a/misc/reddit-redirect-to-old-reddit.js b/misc/reddit-redirect-to-old-reddit.user.js index 3f645dc..3f645dc 100644 --- a/misc/reddit-redirect-to-old-reddit.js +++ b/misc/reddit-redirect-to-old-reddit.user.js diff --git a/misc/usps-fill-out-scheduled-pickup.js b/misc/usps-fill-out-scheduled-pickup.user.js index dd4256f..dd4256f 100644 --- a/misc/usps-fill-out-scheduled-pickup.js +++ b/misc/usps-fill-out-scheduled-pickup.user.js diff --git a/mkconfig.py b/mkconfig.py index 47cc0ee..ad04413 100644 --- a/mkconfig.py +++ b/mkconfig.py @@ -10,16 +10,13 @@ if os.path.isfile("settings.json"): settings = json.load(f) # get all userscripts -paths = glob.glob(os.path.join('.', '**', '*.js'), recursive=True) -paths = [ path.removesuffix(".js") for path in paths ] +paths = glob.glob(os.path.join('.', '**', '*.user.js'), recursive=True) # zipp with zipfile.ZipFile("violentmonkey.zip", 'w', zipfile.ZIP_DEFLATED) as zipf: for path in paths: - arcname = os.path.basename(path) + ".user.js" # basename and add .user.js suffix - path += ".js" - zipf.write(path, arcname=arcname) + zipf.write(path, arcname=os.path.basename(path)) zipf.writestr("violentmonkey", json.dumps({ - "scripts": { os.path.basename(path): {} for path in paths }, + "scripts": { os.path.basename(path).removesuffix(".user.js"): {} for path in paths }, "settings": settings, })) diff --git a/youtube/disable-mini-player.js b/youtube/disable-mini-player.user.js index 126a6a7..126a6a7 100644 --- a/youtube/disable-mini-player.js +++ b/youtube/disable-mini-player.user.js diff --git a/youtube/piped-button.js b/youtube/piped-button.user.js index 60cd7f2..60cd7f2 100644 --- a/youtube/piped-button.js +++ b/youtube/piped-button.user.js diff --git a/youtube/remove-home-shorts.js b/youtube/remove-home-shorts.user.js index 42ea0d0..42ea0d0 100644 --- a/youtube/remove-home-shorts.js +++ b/youtube/remove-home-shorts.user.js |