2015-01-01から1ヶ月間の記事一覧

2015-01-31

SSH から Gnome の画面をロックする

Gnome shell が新しくなってシンプルにしたらしく，スクリーンセーバーを起動するやつが無くなったらしい． export $(cat /proc/$(pgrep -u `whoami` ^gnome-shell$)/environ |\ grep -z DBUS_SESSION_BUS_ADDRESS | strings) dbus-send --type=method_call…

2015-01-12

ブール関数をあつかうC++ライブラリを作った

C++

utisam/boloq utisam/boloq · GitHub BDD を std::shared_ptr とか std::unordered_map で実装してみた．名前も標準ライブラリを意識した感じでつけてみた．

2015-01-09

Boost Test のための gedit 用 snippet

C++ gedit

gedit snippets for boost Test