This website works better with JavaScript.
首頁
探索
說明
登入
E2L_Ivry
/
cours-python
關註
5
收藏
0
複製
0
程式碼
問題管理
0
合併請求
0
版本發佈
0
Wiki
活動
瀏覽代碼
Add build script
master
Dimitri Merejkowsky
6 年之前
父節點
b684508a21
當前提交
ad2a73c988
共有
1 個文件被更改
,包括
12 次插入
和
0 次删除
分割檢視
Diff Options
Show Stats
Download Patch File
Download Diff File
+12
-0
sessions/build.sh
+ 12
- 0
sessions/build.sh
查看文件
@@ -0,0 +1,12 @@
#!/bin/zsh
set -e
if [[ -z $1 ]]; then
echo "Usage: build.sh INPUT.md"
exit 1
fi
out=${1:s/.md/.html}
darkslide --linenos=no $1 --destination ${out}