1m38 / OnlineJudgeHelper

MIT License
0 stars 0 forks source link

解答ファイル名の変更 #5

Open 1m38 opened 5 years ago

1m38 commented 5 years ago

qid_lang.extentionという形にしたい 拡張子が正しくないと、コードハイライトがなかったりして不便

1m38 commented 5 years ago

オプション案:

{
  "commands": {
    "py": {
      "test_cmd": "python3 {fname}"
    },
    "pypy": {
      "extension": "py",
      "test_cmd": "pypy3 {fname}"
    }
  }
}

のように書いておいたら、