make command completion work also for crab-prod/pre/dev. Fix #4866 (#…

…4867)
dmwm · Jan 16, 2020 · 18e629d · 18e629d
1 parent d416956
commit 18e629d
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/etc/crab-bash-completion.sh b/etc/crab-bash-completion.sh
@@ -281,5 +281,5 @@ _UseCrab ()
 
     return 0
 }
-complete -F _UseCrab -o filenames crab
+complete -F _UseCrab -o filenames crab crab-prod crab-pre crab-dev