pipenv を WSL/Debian で使う際の注意事項

Posted on 木 14 11月 2019 in 環境構築 • Tagged with Python, Debian, WSL

久しぶりに Windows 上で環境構築をすることになったんだけど,その際 Pipenv をインストールするのにちょっと躓いたので,その備忘録.

Pipenv を入れた時のエラー

Windows 上で開発する際は, WSL/Debian を使っている.で,新しい環境でもこれで行くことにして, Pipenv を Python3 環境で使いたかったので,次のようにして入れた:

sudo apt update
sudo …

Continue reading

KaTeX コードを静的にレンダリングする

Posted on 日 28 4月 2019 in 運用 • Tagged with KaTeX, Pelican, ブログ, Python, Node.js, JavaScript

ふと, KaTeX ってサーバサイドレンダリングできないかと思って試してみたら,普通に楽にできそうだったので,ブログでやってみることにした.

KaTeX をサーバサイドレンダリングする

特に難しいことはなくて, KaTeX は Node.js 上で動くっぽく,以下のようにすれば HTML を生成できるっぽい:

$ node --eval 'const KaTeX = require("katex"); console.log(KaTeX …

Continue reading

ブログに共有ボタンを追加した

Posted on 木 04 4月 2019 in 運用 • Tagged with Pelican, ブログ, Python, JavaScript

ブログに共有ボタンを追加して, JavaScript を呼べるようにした.

導入までの経緯

Pelican には CSS を追加する仕組みはあるが, JavaScript を追加する仕組みはない.なので,テーマで対応していない JavaScript を使う機能は入れられない.これでは不便なので, JavaScript を無理やり追加することにした.

また,共有ボタンも現状テーマで対応していないため,無理やり JavaScript で追加することにした.静的に埋め込むこともできるのだが,どうせ JavaScript …


Continue reading

Python の datetime が難しい

Posted on 水 03 4月 2019 in プログラミング • Tagged with Python, 標準ライブラリ

色々ハマったので,メモをしておく.

aware と naive

Python の datetime モジュールでは,日付情報を表現する date オブジェクト,日中時間を表現する time オブジェクト,そしてその両方の組である datetime オブジェクトが提供されている.そして,実は datetime オブジェクトは2種類ある.この扱いの差が分からなくてまずつまづいてた.

そもそもドキュメントをちゃんと読めという話なんだけど, https …


Continue reading

ブログのデザイン調整

Posted on 月 01 4月 2019 in 運用 • Tagged with Python, Pelican, ブログ, CircleCI

ブログの改良をちょっと色々やってたので,そのご報告.

Circle CI での謎の警告解消

今まで Circle CI 上だと以下の警告が出てた:

WARNING: Locale could not be set. Check the LOCALE setting, ensuring it is valid and available …

Continue reading

ブログ始めました

Posted on 日 31 3月 2019 in 運用 • Tagged with Python, Pelican, ブログ, GitHub

色々あって,技術的なことを書くブログを始めようと思いました (まる) . 今までは, Advent Calendar の時期だけ Qiita に記事を書いてたりしたんですが, ちゃんとしてないやつも書いていこうかなってことで.

ちゃんとした系の記事は,出来るだけ外部に出していこうと思いますが, 調査不足だったり,よく分からない系とか徒然なるままな感じのことだったりとか,あと主に自分のためにしたこととかを書いていこっかなって感じです.

で,早速ですが一応ブログ立てたんで,立てる際した事とかを書いていく.

サイトジェネレータの選定基準

まず,ブログに使うサイトジェネレータどうしよっかなあと悩んでいた.サイトジェネレータ一覧人気順は, https://www.staticgen …


Continue reading