diff options
| author | John Estabrook <jestabro@vyos.io> | 2025-12-17 11:54:20 -0600 |
|---|---|---|
| committer | John Estabrook <jestabro@vyos.io> | 2025-12-17 21:29:58 -0600 |
| commit | f58bfaa3487ef821466e35fbd2bb073732e889dd (patch) | |
| tree | c1c340dc190d2595cc1e1ec8447f163ce56610b2 /src/session.mli | |
| parent | 28b6ac04aaef995656eaabb2c9a279a79e657687 (diff) | |
| download | vyconf-f58bfaa3487ef821466e35fbd2bb073732e889dd.tar.gz vyconf-f58bfaa3487ef821466e35fbd2bb073732e889dd.zip | |
T8061: add get_completion_env request
Return help strings and values in the form used by bash completion.
Diffstat (limited to 'src/session.mli')
| -rw-r--r-- | src/session.mli | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/session.mli b/src/session.mli index 5209878..9711402 100644 --- a/src/session.mli +++ b/src/session.mli @@ -98,3 +98,5 @@ val show_config : world -> session_data -> string list -> string val reference_path_exists : world -> session_data -> string list -> bool val get_path_type : ?legacy_format:bool -> world -> session_data -> string list -> string + +val get_completion_env : ?legacy_format:bool -> world -> session_data -> string list -> string |