summaryrefslogtreecommitdiff
path: root/etc
diff options
context:
space:
mode:
authorDaniel Friesel <derf@derf.homelinux.org>2008-10-10 17:54:16 +0200
committerDaniel Friesel <derf@derf.homelinux.org>2008-10-10 17:54:16 +0200
commitb53ff1df522b001e621f170e0b0f2cfae558404f (patch)
tree56ee09d7e2ab5a71eb7e434295835fb2d13afa3d /etc
parentcc828e7c02a5c886a4f806eb5c49c4337cf04423 (diff)
devtodo completion: Added _priority
Diffstat (limited to 'etc')
-rw-r--r--etc/completions/_devtodo2
1 files changed, 2 insertions, 0 deletions
diff --git a/etc/completions/_devtodo b/etc/completions/_devtodo
index 5230078..7eb87b0 100644
--- a/etc/completions/_devtodo
+++ b/etc/completions/_devtodo
@@ -111,6 +111,8 @@ function _format () {
}
function _priority () {
+ _wanted priority expl 'priority' \
+ compadd default veryhigh high medium low verylow
}
case $service in