WROIS Web IDE——setting.conf 配置详细说明

setting.conf详细说明

 1 #该文件为 WROIS Web IDE 配置文件
 2 #‘#’表示注释
 3 #配置信息格式为：配置名称 配置信息
 4 #配置名称与配置信息中间以空格隔开
 5 #样例： ListeningPort 80
 6 #每次修改配置信息都需要重启后方能生效
 7 

 8 #————————————————————————————————程序运行配置——————————————————————————————
 
9 #程序监听地址，“0.0.0.0”表示监听所有地址
10 ListeningAdress 0.0.0.0
11#程序监听端口，范围1-65535 
12 ListeningPort 80 
13 #IDE工作服务器地址 
14 IDEWorkServerAddress 127.0.0.1 
15 #IDE工作服务器SSH端口 
16 IDEWorkServerPort 22

17 #Cookie身份串密钥，要求必须为16位字母或数字
18 CookieSecretKey hgfedcba87654321
19 #是否加载管理员页面
20 AdminPage true
21 #是否加载用户信息页面
22 UserInfoPage true

23 #File Manager地址，仅支持http
24 FileManager 127.0.0.1:88
25 #Data Manager地址，仅支持http
26 DataManager 127.0.0.1:8080
27 #File View地址，仅支持http
28 FileView 127.0.0.1:8012

29 #编码
30 Encoding utf-8
31

32 #————————————————————————————————默认配置——————————————————————————————————
33 #默认超时最大退出时间，单位为秒，不建议很大，可能会占用大量系统资源
34 DefaultTimeout 300
35 #默认WorkSpace地址，请保证文件夹提前存在
36 DefaultWorkSpace ${HOME}/workspace
37 #默认code-server个性化配置地址，请保证文件夹提前存在，并且该目录下存在extension,uploadhe data子目录。
38 DefaultDataFile ${HOME}/.code-server

1. 1-6行：配置了该文件的阅读说明及命令格式。
2. 9-16行：为确保 WROIS Web IDE 程序运行的相关配置，分别为程序监听地址和端口，IDE工作服务器地址及工作服务器SSH端口。该配置均为设定好的，无需改动。
3. 17-22行：配置了IDE的cookie身份密钥以及是否加载管理员和用户页面，无需改动。
4. 23-28行：配置了程序的3个重要插件监听地址及端口，请确保与此地址和端口一样，否则程序会启动失败。
5. 29-30行：配置了编码格式
6. 33-38行：均为默认配置，请不要随意改动。红字部分均为程序启动的关键，是IDE的工作目录和code-server的个性化配置地址，请一定按照说明进行配置。