RaspberryPiをGPIOから電源断する

いまさらになって、作りたいものができたのでラズパイ買いました。

で、いろいろやってるんですが、基本的にスタンドアローンでディスプレイもなしで使いたい用途を考えており、電源断をどうするか悩んでます。
最終的には、全部RAMディスク化するとかリードオンリーマウントするとか考えられますが、しばらくは実験の期間なので、電源を簡単にOFFにしたい。

ということで、調べてみると、同じように考えておられる先人がたくさんおりました。
その中で特に参考にしたのはこちら
http://lab.siio.jp/index.php?How2RaspberryPi

他のサイトでは、シェルスクリプトを無限ループで回してGPIOをポーリングしてたり、外部にプルアップ抵抗をつけたりするサンプルが多かったのですが、こちらのサイトで、内部プルアップを使い、pythonでGPIOの変化割り込みを説明してくれていたので、即採用。
ちなみに、シェルスクリプトをsleepありの無限ループで回すサンプルだと、多い時で数%もCPU使用率持って行ってました。
今回は上記サイトの一番下にある割り込みを使うサンプルに、5秒間の長押し検出機能を追加しました。
ついでに、init.dに起動スクリプトを追加して、自動実行するようにしておしまい。

備忘録として。
#忍者ブログでソースコードをうまく表示させるのめんどくさそう