キーボードレイアウトが USになってどうにもならなくなる時があるが、どうも Chromeの更新があるとこの症状が出るらしいという経験則を得た。最新版に更新すると直る。
職場のソース管理を gitにすべく色々試している。GitBucket(https://github.com/gitbucket/gitbucket)はサーバ側の準備が割と簡単で良い。
既存のプロジェクトを登録しようとしたらエラーになった。大きなファイルを転送しようとするときに制限に引っかかったらしい。
動画：レゴに組み込み可、磁石で接続するIoT電子ブロック「Microduino mCookie」を触ってきた！ - Engadget 日本版
初代MindStormsのパーツはこれを使えば再利用できそう。この動画に映っているコントローラが気になるんだが売ってるんだろうか
howmでメモを書いているときに表の整形のためだけに orgに乗り換えようか考えることがしばしばあったが、org-table-alignで markdown-mode上でも表の整形ができるっぽい。
任意のモードで表を整形する - Functional Emacser
good
zenfone2 laserの GPS性能がひどく悪く、屋外でも公園の大きな樹の下に行くだけで位置が狂うという有様で、修理に出そうかと思っていたら angryGPSというもので改善するかもしれないという情報を得た
ワーキングツリーはステージングと同義だろうか。入門gitもいい加減古くなってきたので新しいテキストを手元に置きたい
