diff options
| author | DanielGavin <danielgavin5@hotmail.com> | 2024-02-07 22:11:02 +0100 |
|---|---|---|
| committer | DanielGavin <danielgavin5@hotmail.com> | 2024-02-07 22:11:02 +0100 |
| commit | 90244dd6d16c2499f05a12a2ab7c00769aeecd47 (patch) | |
| tree | c023cbfcd6cdc6d8216505a5eaf64b1d304613e6 /src/common | |
| parent | 3e612a42670e1b581ece6f4a90382e0d830f3ef2 (diff) | |
Start working on profiles
Diffstat (limited to 'src/common')
| -rw-r--r-- | src/common/config.odin | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/src/common/config.odin b/src/common/config.odin index 71a6f4e..3adc98e 100644 --- a/src/common/config.odin +++ b/src/common/config.odin @@ -1,5 +1,11 @@ package common +ConfigProfile :: struct { + os: string, + name: string, + checker_path: string, +} + Config :: struct { workspace_folders: [dynamic]WorkspaceFolder, completion_support_md: bool, @@ -29,6 +35,7 @@ Config :: struct { checker_args: string, checker_targets: []string, client_name: string, + profile: ConfigProfile, } config: Config |