|
 |
ed1836c |
# RPM packaging of the GNOME Shell extension HistoryManager Prefix Search
|
|
|
9fb2223 |
|
|
|
ed1836c |
This package spec is for the GNOME Shell extension
|
|
|
ed1836c |
[HistoryManager Prefix Search](https://extensions.gnome.org/extension/544/historymanager-prefix-search/),
|
|
|
ed1836c |
[developed by sustmi](https://github.com/sustmi).
|
|
|
9fb2223 |
|
|
|
9fb2223 |
The GNOME Shell Run Command dialog (Alt-F2) and Looking Glass let you
|
|
|
9fb2223 |
cycle through the history of previous commands with the arrow keys, but
|
|
|
9fb2223 |
there's currently no built-in way to search or do autocompletion for
|
|
|
9fb2223 |
commands. With HistoryManager Prefix Search, you can type the beginning
|
|
|
9fb2223 |
of a command, and then hit the PageUp and PageDown keys to cycle through
|
|
|
9fb2223 |
previous commands which match the prefix you typed.
|
|
|
9fb2223 |
|
|
|
5ff0b0a |
**NOTE:** After installing, each user that wants HistoryManager Prefix
|
|
|
5ff0b0a |
Search must still enable the extension before it will take effect. You
|
|
|
5ff0b0a |
can do so a few different ways:
|
|
|
9fb2223 |
|
|
|
9fb2223 |
* If you've already installed the GNOME Shell integration web browser
|
|
|
5ff0b0a |
plugin, go to <https://extensions.gnome.org/local/>, find the
|
|
|
5ff0b0a |
extension, and click the switch to "ON."
|
|
|
9fb2223 |
* Open GNOME Tweak Tool, go to the Extensions tab, find the extension,
|
|
|
5ff0b0a |
and click the switch to "ON."
|
|
|
5ff0b0a |
* Open a terminal or the desktop's command dialog and run:
|
|
|
5ff0b0a |
gnome-shell-extension-tool --enable historymanager-prefix-search@sustmidown.centrum.cz
|
|
|
9fb2223 |
|
|
|
9fb2223 |
You may also need to restart GNOME Shell (Open the command dialog with
|
|
|
9fb2223 |
Alt-F2, type `r`, and hit enter), or log out and log back in.
|
|
|
9fb2223 |
|
|
|
9fb2223 |
|
|
|
9fb2223 |
|
|
|
9fb2223 |
## Bug reports and feature requests
|
|
|
9fb2223 |
|
|
|
5ff0b0a |
Report any issues with HistoryManager Prefix Search itself on the project's
|
|
|
5ff0b0a |
[GitHub](https://github.com/sustmi/gnome-shell-extension-historymanager-prefix-search/issues).
|
|
|
9fb2223 |
|
|
|
9fb2223 |
Report issues specific to this package on the
|
|
|
5ff0b0a |
[Red Hat Bugzilla](https://bugzilla.redhat.com/buglist.cgi?product=Fedora&component=gnome-shell-extension-historymanager-prefix-search).
|
|
|
9fb2223 |
|
|
|
9fb2223 |
|
|
|
9fb2223 |
|
|
|
9fb2223 |
## License
|
|
|
9fb2223 |
|
|
|
9fb2223 |
Everything specific to this packaging repository uses the MIT License.
|
|
|
9fb2223 |
|
|
|
5ff0b0a |
HistoryManager Prefix Search uses the GNU GPL version 3.
|