#

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

Continue Reading...

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

Continue Reading...

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

grav のプラグインをインストールできなくなった...

$ bin/gpm install archives
Preparing to install Archives [v1.3.0]
  |- Downloading package...   100%
  |- Checking destination...  ok
  |- Installing package...  PHP Fatal error:  Class 'ZipArchive'...

Continue Reading...

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

Continue Reading...

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

gravの利点

  • Markdownを使える
    • エディタがなんでもOK
    • 最近書類はMarkdownで書くことが多い
  • データベースが不要
    • バックアップが楽
  • インストールが簡単
  • 開発がアクティブで,今のところ頻繁にアップデートがある
    • Picoのほうがコンテンツ配置がわかりやすくて良いかと思ったけど,こちらは更新がしばらく止まっている
  • ドキュメントがそこそこに整っている
  • 数式もMathJaxで表示できる(MathJaxプ...

Continue Reading...