Grav

このホームページのCMSにはGravを使っていたが，Hugoに変えた。 Gravラブだったが，セキュリティ確保のための学内方針で静的サイトに移行しないといけないため，止むを得ずというところ。

18, 2019 • 1 分で読める

これまでDropbox管理だったGravをGitHub対応にしてgit-syncのプラグインを使おうとしたらはまった。一応なんとかなったと思うので，今後のためのメモ書き。

14, 2017 • 1 分で読める

このホームページ作成に使っているGravはMarkdown記法。 Markdownには文字色指定タグがないのだけど，プラグインが2種類ある。

29, 2016 • 1 分で読める

夏バテなのか研究室のWebサーバのハードディスクが壊れてしまった。このWebページの復旧作業にもえらく手間取ってしまったので作業メモ。

31, 2015 • 1 分で読める

google analytics でサイトアクセスが0になっていておかしいなと思い，grav に google analytics をしこむのを忘れていたことに気づいた。やることは以下のとおり。

3, 2015 • 1 分で読める

サイト構築にしばらくPukiwikiを使っていたが，なんとなく他のCMSを使ってみたくなったのでgravを試すことにした．

10, 2015 • 1 分で読める