bash-completion.sh
branchv_0
changeset 44 dd7094457e44
parent 43 3c8ea5dcf793
child 45 5e5815fdcd2d
--- 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"