sustmi / gnome-shell-extension-historymanager-prefix-search Goto Github PK

Some modifications may be needed to support Gnome 44.

I cloned the repo, updated the metadata.json for Gnome 44, and successfully installed it.

I receive no error, but it has no effect. Pressing UP or Page UP goes to the immediately preceding command in history, not previous having same prefix.

Tested on Fedora 38 beta (has Gnome 44).

Would it be possible to make this work with the UP/DOWN arrow keys instead of PageUp/PageDown?

It's common to use the UP/DOWN arrow keys in the terminal for history-search by putting the following in .bashrc:

bind '"\e[A"':history-search-backward
bind '"\e[B"':history-search-forward

I would be great to use the same combination for Alt+F2, especially since many laptop keyboards require using a Fn key for PageUp/PageDown.

I'm testing the upcoming GNOME 40 in a virtual machine of Rawhide (development branch of Fedora) x86_64. I'm using the RPM build of HistoryManager Prefix search v12.

Looking Glass shows no error messages for HistoryManager (because the extension hasn't been enabled yet). But in the GNOME Extensions app, there's a red ⛔ warning icon, and the toggle switch to enable HistoryManager is grayed out. If you click the gears icon to see HistoryManager settings, you get a dialog that says "Something went wrong" and the following error message:

Gtk.BuilderError: /usr/share/gnome-shell/extensions/[email protected]/prefs.xml:8:35 Invalid property: GtkBox.margin_left

Stack trace:
  _init@/usr/share/gnome-shell/extensions/[email protected]/prefs.js:34:17
  wrapper@resource:///org/gnome/gjs/modules/script/_legacy.js:83:27
  buildPrefsWidget@/usr/share/gnome-shell/extensions/[email protected]/prefs.js:77:18
  _init@resource:///org/gnome/Shell/Extensions/js/extensionsService.js:209:40
  OpenExtensionPrefsAsync/<@resource:///org/gnome/Shell/Extensions/js/extensionsService.js:122:28
  asyncCallback@resource:///org/gnome/gjs/modules/core/overrides/Gio.js:115:22
  run@resource:///org/gnome/Shell/Extensions/js/dbusService.js:177:20
  main@resource:///org/gnome/Shell/Extensions/js/main.js:19:13
  run@resource:///org/gnome/gjs/modules/script/package.js:206:19
  start@resource:///org/gnome/gjs/modules/script/package.js:190:8
  @/usr/share/gnome-shell/org.gnome.Shell.Extensions:1:17