(value: string)
| 194 | } |
| 195 | |
| 196 | function toTomlString(value: string): string { |
| 197 | const escaped = value.replace(/\\/g, "\\\\").replace(/"/g, '\\"'); |
| 198 | return `"${escaped}"`; |
| 199 | } |
| 200 | |
| 201 | function readJsonObject(path: string): JsonObject { |
| 202 | if (!existsSync(path)) { |