compopt: add page (#8747)

pull/1/head
Saikat Sengupta 2022-10-08 10:29:10 +05:30 committed by GitHub
parent b674cca317
commit 48ed0237ed
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 12 additions and 0 deletions

12
pages/linux/compopt.md Normal file
View File

@ -0,0 +1,12 @@
# compopt
> Print or change the completion options for a command.
> More information: <https://manned.org/compopt>.
- Print the options for the currently executing completion:
`compopt`
- Print the completion options for given command:
`compopt {{command}}`