diff options
author | Niklas Haas <github-c6e1c8@haasn.xyz> | 2016-08-14 08:18:32 +0200 |
---|---|---|
committer | Dave Davenport <DaveDavenport@users.noreply.github.com> | 2016-08-14 08:18:32 +0200 |
commit | acdd8ddb5ae7c264d8dd29085368453e6f82cbce (patch) | |
tree | d2a4bb81b81506df02e9674df59e8f8808c64f7e /doc/rofi-manpage.markdown | |
parent | b5595d7a7ec5182ae28da162191804641aa9b37f (diff) |
Use bash instead of sh for get_git_rev.sh (#445)
The script relies on bash extensions to `echo`, which is not portable to
POSIX shells. Simplest fix is to request bash explicitly.
Diffstat (limited to 'doc/rofi-manpage.markdown')
0 files changed, 0 insertions, 0 deletions