diff options
| -rw-r--r-- | Completion/Core/_requested | 19 |
1 files changed, 0 insertions, 19 deletions
diff --git a/Completion/Core/_requested b/Completion/Core/_requested deleted file mode 100644 index 5614098bc..000000000 --- a/Completion/Core/_requested +++ /dev/null @@ -1,19 +0,0 @@ -#autoload - -local __gopt=-J - -if [[ "$1" = -([12]|)[VJ] ]]; then - __gopt="$1" - shift -fi - -if comptags -R "$1"; then - if [[ $# -gt 3 ]]; then - _all_labels - "$__gopt" "$@" || return 1 - elif [[ $# -gt 1 ]]; then - _description "$__gopt" "$@" - fi - return 0 -else - return 1 -fi |