scripts/bash_completion.pl
branchv_0
changeset 209 8dfe037b3274
parent 159 9632b23df30c
child 220 0bc544b38cfa
--- a/scripts/bash_completion.pl	Sat Aug 15 10:44:36 2015 +0200
+++ b/scripts/bash_completion.pl	Sat Aug 15 10:47:56 2015 +0200
@@ -56,7 +56,7 @@
 			return 0
 		fi
 		;;
-	--formatter)
+	--formatter | --list-formatter-properties)
 		if [ -f '.$formattersFile.' ]; then
 			COMPREPLY=( $( compgen -W " $( cat '.$formattersFile.' ) " -- $cur ) )
 		else