aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-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.py9
-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