xaizek / hstr (License: Apachev2) (since 2018-12-07)
Bash and Zsh shell history suggest box - easily view, navigate, search and manage your command history.
Clone URLs: https://code.reversed.top/user/xaizek/hstr ssh://rocketgit@code.reversed.top/user/xaizek/hstr
0.2 0.4 0.7 0.71 0.82 0.97 1.0 1.1 1.10 1.12 1.13 1.14 1.15 1.16 1.17 1.18 1.19 1.2 1.2.1 1.21 1.22 1.23 1.24 1.3 1.9 favorites keyword-search master memory-leak-fixes-201704 merge-of-pknowles-201706 regexps transparent-background unique-favorites utf8
Commit 71e20a17b858cb388c80acde1469c680673052fd

Just polishing source code.
Author: Martin Dvorak
Author date (UTC): 2018-02-18 09:25
Committer name: Martin Dvorak
Committer date (UTC): 2018-02-18 09:25
Parent(s): be13501e3085307c131e7067a030f844ad35acb2
Signing key:
Tree: b0edfdc03b1026909f5f8a628a7961ed7956e4bd
File Lines added Lines deleted
src/hstr.c 1 1
File src/hstr.c changed (mode: 100644) (index 6a85ccf..1263ddd)
... ... static const char *INSTALL_BASH_STRING=
188 188 // history -c ... CLEAR in memory history (keeps .bash_history content) // history -c ... CLEAR in memory history (keeps .bash_history content)
189 189 // history -r ... append ALL entries from .bash_history to memory (useful to sync DIFFERENT Bash sessions) // history -r ... append ALL entries from .bash_history to memory (useful to sync DIFFERENT Bash sessions)
190 190 // Conclusion: // Conclusion:
191 // -a -n ... Fastest and almost-consistent option i.e. there is efficiency/integrity trade-off
191 // -a -n ... Fastest and almost-consistent option i.e. there is efficiency/integrity trade-off.
192 192 // It works correctly if memory entries are not deleted by HSTR. It doesn't synchronize history // It works correctly if memory entries are not deleted by HSTR. It doesn't synchronize history
193 193 // across different Bash sessions. // across different Bash sessions.
194 194 // -c -r ... Forces entire .bash_history to be reloaded (handles history deletes, synchronizes different Bash sessions) // -c -r ... Forces entire .bash_history to be reloaded (handles history deletes, synchronizes different Bash sessions)
Hints
Before first commit, do not forget to setup your git environment:
git config --global user.name "your_name_here"
git config --global user.email "your@email_here"

Clone this repository using HTTP(S):
git clone https://code.reversed.top/user/xaizek/hstr

Clone this repository using ssh (do not forget to upload a key first):
git clone ssh://rocketgit@code.reversed.top/user/xaizek/hstr

You are allowed to anonymously push to this repository.
This means that your pushed commits will automatically be transformed into a pull request:
... clone the repository ...
... make some changes and some commits ...
git push origin master