functions: Add "--no-details" flag and use it in funced

This inhibits the function path comment which is annoying in `funced`.

Fixes #7879.
This commit is contained in:
Fabian Homborg
2021-03-30 16:51:27 +02:00
parent da2f7999ad
commit 18e332772d
4 changed files with 30 additions and 2 deletions

View File

@@ -39,6 +39,8 @@ The following options are available:
You should not assume that only five lines will be written since we may add additional information to the output in the future.
- ``--no-details`` turns off function path reporting, so just the definition will be printed.
- ``-n`` or ``--names`` lists the names of all defined functions.
- ``-q`` or ``--query`` tests if the specified functions exist.