mpabi
32 lines
855 B
JSON
32 lines
855 B
JSON
{
|
|
"version": 1,
|
|
"original_root": "~/dev/edu/repos/rv",
|
|
"original_series_root": "~/dev/edu/repos/rv/series",
|
|
"workspace_root": "~/dev/workspace/rv",
|
|
"series_root": "~/dev/workspace/rv/series",
|
|
"socket_root": "~/dev/workspace/rv/sockets",
|
|
"token_file": "~/dev/workspace/rv/tokens/tokens.json",
|
|
"tools_root_candidates": [
|
|
"~/dev/workspace/rv/tools/rv32i-hazard3-env",
|
|
"~/dev/edu/repos/rv/rv32i-hazard3-env"
|
|
],
|
|
"git": {
|
|
"base_url": "http://77.90.8.171:3001",
|
|
"source_org": "edu-inf",
|
|
"answer_org": "zsl-inf",
|
|
"source_remote": "r1",
|
|
"answer_remote": "a1",
|
|
"origin_remote": "origin",
|
|
"fallback_branch": "build"
|
|
},
|
|
"defaults": {
|
|
"series": "inf",
|
|
"card": "03",
|
|
"task": "task1",
|
|
"editor": "nvim",
|
|
"instance": "shell",
|
|
"tmux_session": "rv-workspace",
|
|
"tmux_window": "rv"
|
|
}
|
|
}
|