{
  "espruino": {
    "RESET_BEFORE_SEND": true,
    "STORE_LINE_NUMBERS": true,
    "ENV_ON_CONNECT": true,
    "MODULE_URL": "https://www.espruino.com/modules",
    "MODULE_EXTENSIONS": ".min.js|.js",
    "MODULE_AS_FUNCTION": true,
    "MODULE_PROXY_ENABLED": false,
    "MODULE_PROXY_URL": "",
    "MODULE_PROXY_PORT": "",
    "BAUD_RATE": 9600,
    "SERIAL_IGNORE": "/dev/ttyS*|/dev/*.SOC|/dev/*.MALS",
    "SERIAL_FLOW_CONTROL": true,
    "BLUETOOTH_LOW_ENERGY": true,
    "SERIAL_AUDIO": "0",
    "WEB_BLUETOOTH": true,
    "WEB_SERIAL": true,
    "BOARD_JSON_URL": "https://www.espruino.com/json",
    "COMPILATION": true,
    "COMPILATION_URL": "https://www.espruino.com/service/compiler",
    "MINIFICATION_LEVEL": "",
    "MODULE_MINIFICATION_LEVEL": "ESPRIMA",
    "MINIFICATION_Mangle": true,
    "PRETOKENISE": false,
    "SAVE_ON_SEND": 0,
    "SAVE_STORAGE_FILE": "myapp",
    "LOAD_STORAGE_FILE": 2,
    "SET_TIME_ON_WRITE": false,
    "SERIAL_THROTTLE_SEND": false
  },
  "ports": [],
  "storageContents": {}
}