diff options
Diffstat (limited to 'bash/bashrc.d/gpg.bash')
-rw-r--r-- | bash/bashrc.d/gpg.bash | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/bash/bashrc.d/gpg.bash b/bash/bashrc.d/gpg.bash deleted file mode 100644 index 62d123ea..00000000 --- a/bash/bashrc.d/gpg.bash +++ /dev/null @@ -1,10 +0,0 @@ -# Wrapper around gpg(1) to stop ``--batch'' breaking things -gpg() { - # shellcheck disable=SC2048 - case $* in - *--ed*|*--gen-k*|*--sign-k*) - set -- --no-batch "$@" - ;; - esac - command gpg "$@" -} |