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 9d0000a95e3f5cb9390fd57c3bbccb9c3a87c7b1

Fixing source for Win detection in bug #164.
Author: Martin Dvorak
Author date (UTC): 2017-06-04 07:38
Committer name: Martin Dvorak
Committer date (UTC): 2017-06-04 07:38
Parent(s): 8e85439aa918ed7380c1acb7a09b1ed3070bbf96
Signing key:
Tree: 1bf5db8c2dd3340a81885f18818e21913cddc407
File Lines added Lines deleted
dist/1-dist.sh 1 1
File dist/1-dist.sh changed (mode: 100755) (index 043efcf..1c18e4f)
... ... else
28 28 fi fi
29 29
30 30 # detect Bash@Ubuntu@Windows # detect Bash@Ubuntu@Windows
31 export VENDOR_FILE=/proc/vendor
31 export VENDOR_FILE=/proc/version
32 32 export HINT_FILE=/tmp/hh-ms-wsl export HINT_FILE=/tmp/hh-ms-wsl
33 33
34 34 if [ -e "${VENDOR_FILE}" ] if [ -e "${VENDOR_FILE}" ]
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