Docker for Windows/Mac と Docker Engine (Ubuntu) で owner の扱いが異なる。 Docker for Windows/Mac は自動的にホストのユーザとコンテナの root を切り替えるが、 Docker Engine (Ubuntu) は手動でホストのユーザ設定を作成・マウントする必要がある。
そのため Ubuntu で使用する場合は .devcontainer の内容を書き換えて使用。 .devcontainer/devcontainer.json の dockerComposeFile を compose-ubuntu.yml に変更。
- Anaconda インストール
- 専用スクリプトでヘルパーツール導入
source ./activate.sh
ヘルパーの使い方
# 問題 DL
ojd $URL
# テストケース生成 (ojd の後)
ojg
# 評価
ojt ./main.cpp
# double 出力評価
ojt ./main.cpp -e 1e-9
# 提出
oj s ./main.cpp
# テスト情報・バイナリ削除
ojc
- online-judge-tools/template-generator
- テンプレートの文法は Mako
- import 文には
<%! hoge %>
- プログラム実行には
<% hoge %>
- 簡単な説明
- import 文には