wide/conf/wide.json

39 lines
1.1 KiB
JSON

{
"IP": "${ip}",
"Port": "7070",
"Server": "{IP}:{Port}",
"StaticServer": "",
"EditorChannel": "ws://{IP}:{Port}",
"OutputChannel": "ws://{IP}:{Port}",
"ShellChannel": "ws://{IP}:{Port}",
"SessionChannel": "ws://{IP}:{Port}",
"HTTPSessionMaxAge": 86400,
"StaticResourceVersion": "${time}",
"MaxProcs": 4,
"RuntimeMode": "dev",
"WD": "${pwd}",
"Locale": "en_US",
"Users": [
{
"Name": "admin",
"Password": "admin",
"Workspace": "${GOPATH}",
"Locale": "en_US",
"GoFormat": "gofmt",
"FontFamily": "Helvetica",
"FontSize": "13px",
"Theme": "default",
"Editor": {
"FontFamily": "Consolas, 'Courier New', monospace",
"FontSize": "13px",
"LineHeight": "17px",
"Theme": "wide"
},
"LatestSessionContent": {
"FileTree": [],
"Files": [],
"CurrentFile": ""
}
}
]
}