-
-
Notifications
You must be signed in to change notification settings - Fork 2.6k
shell completion '-t' for extensions prompt #2195
Copy link
Copy link
Closed
Labels
enhancementAn enhancement to the functionality of the software.An enhancement to the functionality of the software.help wantedOthers are encouraged to work on this issue.Others are encouraged to work on this issue.rollupA PR that has been merged with many others in a rollup.A PR that has been merged with many others in a rollup.
Metadata
Metadata
Assignees
Labels
enhancementAn enhancement to the functionality of the software.An enhancement to the functionality of the software.help wantedOthers are encouraged to work on this issue.Others are encouraged to work on this issue.rollupA PR that has been merged with many others in a rollup.A PR that has been merged with many others in a rollup.
Now, the shell completion
-t(e.g. zsh) is as following:In the code, it truncate
:*of the output ofrg --type-listHow about adding the extension information? Like this:
It should can be realized, because zsh use
(agda aidl)to provide the completion without prompt information, and use(agda\:*.agda,*.lagda aidl\:*.aidl)to provide the completion with prompt information.