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 /README.md | |
| parent | 3e612a42670e1b581ece6f4a90382e0d830f3ef2 (diff) | |
Start working on profiles
Diffstat (limited to 'README.md')
| -rw-r--r-- | README.md | 11 |
1 files changed, 10 insertions, 1 deletions
@@ -48,7 +48,12 @@ Example of `ols.json`: "enable_semantic_tokens": false, "enable_document_symbols": true, "enable_hover": true, - "enable_snippets": true + "enable_snippets": true, + "profile": "windows", + "profiles": [ + { "name": "linux_profile", "os": "linux", "checker_path": "src/main.odin"}, + { "name": "windows_profile", "os": "windows", "checker_path": "src"} + ] } ``` @@ -78,6 +83,10 @@ Options: `verbose`: Logs warnings instead of just errors. +`profile`: What profile to currently use. + +`profiles`: List of different profiles that describe the environment ols is running under. + ### Odinfmt configurations Odinfmt reads configuration through `odinfmt.json`. |