diff options
author | Daniel Friesel <derf@derf.homelinux.org> | 2008-10-10 17:54:16 +0200 |
---|---|---|
committer | Daniel Friesel <derf@derf.homelinux.org> | 2008-10-10 17:54:16 +0200 |
commit | b53ff1df522b001e621f170e0b0f2cfae558404f (patch) | |
tree | 56ee09d7e2ab5a71eb7e434295835fb2d13afa3d | |
parent | cc828e7c02a5c886a4f806eb5c49c4337cf04423 (diff) |
devtodo completion: Added _priority
-rw-r--r-- | etc/completions/_devtodo | 2 |
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 |