aboutsummaryrefslogtreecommitdiff
path: root/README.md
diff options
context:
space:
mode:
authorDanielGavin <danielgavin5@hotmail.com>2024-02-07 22:11:02 +0100
committerDanielGavin <danielgavin5@hotmail.com>2024-02-07 22:11:02 +0100
commit90244dd6d16c2499f05a12a2ab7c00769aeecd47 (patch)
treec023cbfcd6cdc6d8216505a5eaf64b1d304613e6 /README.md
parent3e612a42670e1b581ece6f4a90382e0d830f3ef2 (diff)
Start working on profiles
Diffstat (limited to 'README.md')
-rw-r--r--README.md11
1 files changed, 10 insertions, 1 deletions
diff --git a/README.md b/README.md
index 4438706..2a556c7 100644
--- a/README.md
+++ b/README.md
@@ -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`.