Merge pull request #1287 from nwinkler/percol-fix

Fix Percol plugin
pull/1293/head
Nils Winkler 2018-12-18 09:28:17 +01:00 committed by GitHub
commit b5f2cc3d4e
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions

View File

@ -27,7 +27,7 @@ _replace_by_history() {
if command -v percol>/dev/null; then if command -v percol>/dev/null; then
local current_version=${BASH_VERSION%%[^0-9]*} current_version=${BASH_VERSION%%[^0-9]*}
if [ $current_version -lt 4 ]; then if [ $current_version -lt 4 ]; then
echo -e "\033[91mWarning: You have to upgrade Bash to Bash v4.x to use the 'percol' plugin.\033[m" echo -e "\033[91mWarning: You have to upgrade Bash to Bash v4.x to use the 'percol' plugin.\033[m"
echo -e "\033[91m Your current Bash version is $BASH_VERSION.\033[m" echo -e "\033[91m Your current Bash version is $BASH_VERSION.\033[m"