xaizek / hstr (License: Apachev2) (since 2018-12-07)
Bash and Zsh shell history suggest box - easily view, navigate, search and manage your command history.
Commit fbdfafb466186867d5b95035669414371c7262a7

Adding regexp to configuration.
Author: Martin Dvorak
Author date (UTC): 2014-04-27 05:42
Committer name: Martin Dvorak
Committer date (UTC): 2014-04-27 05:42
Parent(s): 093fc012b2e6826a34619deeccfecde4c67ffcbe
Signing key:
Tree: 4f3ca2ad7ecf476c886612b5119c9725a30d454f
File Lines added Lines deleted
man/hh.1 3 0
src/hstr.c 4 0
File man/hh.1 changed (mode: 100644) (index ae8a595..d3b07b9)
... ... Configuration options:
72 72 \fIhicolor\fR \fIhicolor\fR
73 73 Get more colors with this option (default is monochromatic). Get more colors with this option (default is monochromatic).
74 74
75 \fIregexp\fR
76 Search command history using regular expressions (exact match is default)
77
75 78 \fIcasesensitive\fR \fIcasesensitive\fR
76 79 Make the pattern-based filtering case sensitive (it's case insensitive by default). Make the pattern-based filtering case sensitive (it's case insensitive by default).
77 80
File src/hstr.c changed (mode: 100644) (index 89844f0..9ea2153)
... ... void hstr_get_env_configuration(Hstr *hstr)
208 208 if(strstr(hstr_config,HH_CONFIG_CASE)) { if(strstr(hstr_config,HH_CONFIG_CASE)) {
209 209 hstr->caseSensitive=HH_CASE_SENSITIVE; hstr->caseSensitive=HH_CASE_SENSITIVE;
210 210 } }
211 if(strstr(hstr_config,HH_CONFIG_REGEXP)) {
212 hstr->historyMatch=HH_MATCH_REGEXP;
213 }
211 214 if(strstr(hstr_config,HH_CONFIG_SORTING)) { if(strstr(hstr_config,HH_CONFIG_SORTING)) {
212 215 hstr->historyView=HH_VIEW_HISTORY; hstr->historyView=HH_VIEW_HISTORY;
213 216 } else { } else {
 
... ... void hstr_get_env_configuration(Hstr *hstr)
215 218 hstr->historyView=HH_VIEW_FAVORITES; hstr->historyView=HH_VIEW_FAVORITES;
216 219 } }
217 220 } }
221
218 222 if(strstr(hstr_config,HH_CONFIG_DEBUG)) { if(strstr(hstr_config,HH_CONFIG_DEBUG)) {
219 223 hstr->debugLevel=HH_DEBUG_LEVEL_DEBUG; hstr->debugLevel=HH_DEBUG_LEVEL_DEBUG;
220 224 } else { } else {
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