From 38421b3be7777062609e21536918de1e17e6f151 Mon Sep 17 00:00:00 2001
From: Adar Nimrod <nimrod@shore.co.il>
Date: Tue, 19 Feb 2019 08:12:51 +0200
Subject: [PATCH] Continue if generating Bash completion fails.
---
Documents/bin/gen-bash-completion | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/Documents/bin/gen-bash-completion b/Documents/bin/gen-bash-completion
index 83b1852..1d5a7d8 100755
--- a/Documents/bin/gen-bash-completion
+++ b/Documents/bin/gen-bash-completion
@@ -3,7 +3,7 @@ set -eu
gen_completion () {
executable="$1"
- ! command -v "$executable" > /dev/null || "$@" > "$HOME/.bash_completion.d/$executable"
+ ! command -v "$executable" > /dev/null || "$@" > "$HOME/.bash_completion.d/$executable" || true
}
gen_completion pandoc --bash-completion
--
GitLab