2018-03-15 12:25:07 +00:00
|
|
|
--- a/js/ui/extensionDownloader.js
|
|
|
|
|
+++ b/js/ui/extensionDownloader.js
|
|
|
|
|
@@ -86,7 +86,7 @@
|
|
|
|
|
stream.output_stream.write_bytes(contents, null);
|
|
|
|
|
stream.close(null);
|
|
|
|
|
let [success, pid] = GLib.spawn_async(null,
|
|
|
|
|
- ['unzip', '-uod', dir.get_path(), '--', file.get_path()],
|
|
|
|
|
+ ['@unzip@/bin/unzip', '-uod', dir.get_path(), '--', file.get_path()],
|
|
|
|
|
null,
|
|
|
|
|
GLib.SpawnFlags.SEARCH_PATH | GLib.SpawnFlags.DO_NOT_REAP_CHILD,
|
|
|
|
|
null);
|
2018-05-12 21:57:05 +01:00
|
|
|
--- a/js/ui/status/keyboard.js
|
|
|
|
|
+++ b/js/ui/status/keyboard.js
|
2019-09-09 20:46:15 +01:00
|
|
|
@@ -1062,6 +1062,6 @@ class InputSourceIndicator extends PanelMenu.Button {
|
2018-05-12 21:57:05 +01:00
|
|
|
if (xkbVariant.length > 0)
|
2019-09-09 20:46:15 +01:00
|
|
|
description = `${description}\t${xkbVariant}`;
|
2018-05-12 21:57:05 +01:00
|
|
|
|
|
|
|
|
- Util.spawn(['gkbd-keyboard-display', '-l', description]);
|
|
|
|
|
+ Util.spawn(['@libgnomekbd@/bin/gkbd-keyboard-display', '-l', description]);
|
2019-03-03 18:27:18 +00:00
|
|
|
}
|
|
|
|
|
});
|
2019-09-16 09:49:58 +01:00
|
|
|
--- a/data/gnome-shell-disable-extensions.service
|
|
|
|
|
+++ b/data/gnome-shell-disable-extensions.service
|
|
|
|
|
@@ -10,5 +10,5 @@ Requisite=gnome-session-stable.timer
|
|
|
|
|
[Service]
|
|
|
|
|
Type=simple
|
|
|
|
|
# Disable extensions
|
|
|
|
|
-ExecStart=gsettings set org.gnome.shell disable-user-extensions true
|
|
|
|
|
+ExecStart=@gsettings@ set org.gnome.shell disable-user-extensions true
|
|
|
|
|
Restart=no
|
