http://www.lifestyleindex.com/shopdetail/008001000005/ちゃんとした技術だろうけど、売ってる場所のせいで怪しく見える。

研究室で試行錯誤の末、やっと自宅のサーバにつないで更新できるようになった。 これで自宅と研究室で同期ができる〜。

以前もこの組み合わせはちょっとやってたんだけど、実はpagentは引数つきで起動できるので、スタートアップにいれとけば勝手につないでくれる*1ので便利なことを知った。 *1:パスワードはいるいらないだろうし、セキュリティ的には相当やばいだろうけど