このサイトはJavaScriptを使用しています
ホーム
エクスプローラー
ヘルプ
サインイン
E2L_Ivry
/
cours-python
ウォッチ
5
スター
0
フォーク
0
コード
課題
0
プルリクエスト
0
リリース
0
Wiki
アクティビティ
ソースを参照
build.sh: take session number instead of md path
master
Dimitri Merejkowsky
6年前
親
78f86dbe84
コミット
0c86e57ca3
1個のファイルの変更
、
2行の追加
、
3行の削除
分割表示
差分オプション
統計情報を表示
Patchファイルをダウンロード
Diffファイルをダウンロード
+2
-3
sessions/build.sh
+ 2
- 3
sessions/build.sh
ファイルの表示
@@ -3,10 +3,9 @@
set -e
if [[ -z $1 ]]; then
echo "Usage: build.sh
INPUT.md
"
echo "Usage: build.sh
NUMBER
"
exit 1
fi
out=${1:s/.md/.html}
darkslide --linenos=no $1 --destination ${out}
darkslide --linenos=no "${1}.md" --destination "${1}.html"