knowledge/.codio at master · codio/knowledge · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
{
    // This file is used to configure the three buttons along Codio's top menu.
    // Run button configuration
    "commands": {
        "Make": "clear && make html",
        "Make Instructor": "clear && make html TYPE=instructor",
        "Make Student": "clear && make html TYPE=student"
    },
    // Preview button configuration
    "preview": {
        "Instructor": "https://{{domain}}/build/html/source/index.html",
        "Preview": "https://{{domain}}/build/html/{{path}}/{{filename_no_ext}}.html",
        "Student": "https://{{domain}}/build/html/student-source/student.html"
    },
    // Debugger target button configuration
    "debugger": [{"type":"PYTHON3","command":"{{filepath}}","before":"","uuid":"6c228c3f-596c-c44a-399f-5d86a7e17bf9","name":"Debug"},{"type":"GDB","command":"/codio-docs/","before":"","uuid":"76725fc4-3220-4a33-f739-614ebe121e67","name":"doc test"}]
}