tools:config
Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revisionNext revisionBoth sides next revision | ||
| tools:config [2017/12/14 11:51] – graf | tools:config [2018/01/12 09:28] – graf | ||
|---|---|---|---|
| Line 13: | Line 13: | ||
| add(" | add(" | ||
| add(" | add(" | ||
| - | add("init values", c); | + | add("initValues", c); |
| add(" | add(" | ||
| } | } | ||
| Line 32: | Line 32: | ||
| configFile.load(); | configFile.load(); | ||
| </ | </ | ||
| + | WARNING Valid name for the identifiers of the values include numbers and letters only, no spaces, underlines or dots. ' | ||
| You can manually create a suitable configuration file at the given location, e.g. | You can manually create a suitable configuration file at the given location, e.g. | ||
| < | < | ||
| id = 1 | id = 1 | ||
| offset = 2.200000 | offset = 2.200000 | ||
| - | init values | + | initValues |
| ip = 127.0.0.0 | ip = 127.0.0.0 | ||
tools/config.txt · Last modified: 2020/12/03 12:01 by ursgraf