bash-completion.sh
branchv_0
changeset 17 ea36eed9683f
parent 14 a7596589a5b0
--- a/bash-completion.sh	Sat Oct 24 00:08:18 2020 +0200
+++ b/bash-completion.sh	Sun Apr 18 10:42:54 2021 +0200
@@ -27,10 +27,12 @@
 		"false"
 	)
 
-	if [[ "$w1" == "--write-header"                                    ]];    then COMPREPLY=($(compgen -W "${WRITE_HEADER[*]}" -- "$w0"))
+	  if [[ "$w1" == "--write-header"                                   ]];    then COMPREPLY=($(compgen -W "${WRITE_HEADER[*]}" -- "$w0"))
+	elif [[ "$w1" == "--write-types"                                    ]];    then COMPREPLY=($(compgen -W "${WRITE_HEADER[*]}" -- "$w0"))
 	else
 		OPTIONS=(
 			"--write-header"
+			"--write-types"
 		)
 		COMPREPLY=($(compgen -W "${OPTIONS[*]}" -- "$w0"))
 	fi