diff -r 3c8ea5dcf793 -r dd7094457e44 bash-completion.sh --- a/bash-completion.sh Tue Sep 22 21:00:30 2020 +0200 +++ b/bash-completion.sh Tue Sep 22 21:32:14 2020 +0200 @@ -28,12 +28,19 @@ "boolean" ) + WRITE_HEADER=( + "true" + "false" + ) + if [[ "$w1" == "--relation" && "x$w0" == "x" ]]; then COMPREPLY=("''") elif [[ "$w1" == "--attribute" && "x$w0" == "x" ]]; then COMPREPLY=("''") elif [[ "$w2" == "--attribute" ]]; then COMPREPLY=($(compgen -W "${DATA_TYPE[*]}" -- "$w0")) + elif [[ "$w1" == "--write-header" ]]; then COMPREPLY=($(compgen -W "${WRITE_HEADER[*]}" -- "$w0")) else OPTIONS=( "--relation" + "--write-header" "--attribute" "--record" "--records"