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 /etc/completions/_devtodo | |
| parent | cc828e7c02a5c886a4f806eb5c49c4337cf04423 (diff) | |
devtodo completion: Added _priority
Diffstat (limited to 'etc/completions/_devtodo')
| -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 |