✅レンダリングエンジンをMkDocsに変える

以前試したやつ

ビルド時間試した

名前全然ちゃうけど

250ファイルで4秒

テーマは？

material

無難だがありきたり

あとサイドバー等は要らない

コンテンツが静的だから「便利なナビゲーション」くらいしかできない

としたら

ビルド時間が短くて済む

サイドバーのないシンプルデザイン

↑ これ二つ満たせたら乗り換える余地ある

んー、どれも2ペインだなぁ

画像ないからわからん

画像検索

終端来たけどどれも2ペイン

https://gyazo.com/85b5e6efce525e4179c5ad3ec2b83d79

2ペインのテーマはヘッダ含めて出来がいいはずだし、ここからデザイン変えるアプローチでいこうか

とりあえずデフォのテーマのまま進めてみる

website url

files/ に置いた py ファイルもpublishされてしまう

mkdocs-exclude使ってみる

code:mkdocs.yml

plugins:

- exclude:

glob:

- "*.py"

が、なぜかmkdocsの検索機能がhtmlから消えるという挙動

よくわからんのでいったんなしに

大文字小文字考慮しないと駄目みたい

https://gyazo.com/4d840453e49795f59c0a358d1b07dbdd

意味不明なlower()してたので消した

悪くないんじゃね？

https://gyazo.com/f581d93d2887364ec3f0376cc3959906

ここまでの結果をまとめると

docs/ には生成後のhtmlを置く

つまりビルドはローカルで済ませる

push後、ghpages側では走らせない（のでtimeoutでfailedにもならない）

ビルド時間は250ファイルで3秒なので、6000+の俺のscrapboxでもいけるはず

んでは載せてみますか

早い

https://gyazo.com/bb613de41a80eb346c3ee8ceb3c37345

2分かからん

ローカルでは動作する

https://gyazo.com/ca13757300d8eb01c156445af3192718

のでここは閉じる