From b7e42952dc449b1fd7cb399ab2cd23e33e5c648b Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Florian=20M=C3=BCllner?= Date: Wed, 28 Aug 2024 16:44:42 +0200 Subject: [PATCH] cleanup: Remove gnome-shell-extension-prefs wrapper After the old tool transformed into the extensions app, we added a wrapper for compatibility with extensions that spawned the command to open their preferences. This was a long time ago. As the ESM port happened since, we *know* that all extensions are newer than that change. And as spawning the old prefs tool is no longer accepted in review, no extension that is compatible with current shell versions still does it. Part-of: --- src/gnome-shell-extension-prefs | 31 ------------------------------- src/meson.build | 4 ---- 2 files changed, 35 deletions(-) delete mode 100755 src/gnome-shell-extension-prefs diff --git a/src/gnome-shell-extension-prefs b/src/gnome-shell-extension-prefs deleted file mode 100755 index 303b1963c..000000000 --- a/src/gnome-shell-extension-prefs +++ /dev/null @@ -1,31 +0,0 @@ -#!/bin/sh - -openPrefs() { - if [ "$(which gnome-extensions)" ] - then - gnome-extensions prefs $1 - else - gdbus call --session \ - --dest=org.gnome.Shell.Extensions \ - --object-path=/org/gnome/Shell/Extensions \ - --method=org.gnome.Shell.Extensions.OpenExtensionPrefs $1 '' '{}' - fi -} - -cat >&2 <