From: alexpdp7 <alex@pdp7.net>
Date: Sun, 10 Aug 2025 14:05:41 +0000 (+0200)
Subject: Add Gnome extensions
X-Git-Url: https://xn--ix-yja.es/gitweb/?a=commitdiff_plain;h=023ba50fe6d115b859e5deb28120a0957fa50bcb;p=alex.git

Add Gnome extensions
---

diff --git a/INTERESTING_PROJECTS.org b/INTERESTING_PROJECTS.org
index 8e5b255..728052b 100644
--- a/INTERESTING_PROJECTS.org
+++ b/INTERESTING_PROJECTS.org
@@ -230,6 +230,10 @@ Also keeping things in a Org mode means I can classify and add notes.
   - https://github.com/YaLTeR/niri/
   - https://ublue.it/
   - https://github.com/kmonad/kmonad - advanced cross-platform keyboard remappings
+*** Gnome
+  - https://extensions.gnome.org/extension/6784/wiggle/ - shake your pointer to embiggen
+  - https://extensions.gnome.org/extension/6099/paperwm/ - easy tiling
+  - https://extensions.gnome.org/extension/6000/quick-settings-audio-devices-renamer/ / https://extensions.gnome.org/extension/5964/quick-settings-audio-devices-hider/ - hide and rename audio devices
 ** Multimedia
 *** Video
    - https://github.com/mifi/lossless-cut Lossless video editing like Avidemux, but can preserve DVB-T subtitles