ひさしぶりにデスクトップでキーボードを叩いたら、左手小指(別名Ctrl指)が痛くなった。「親指Ctrlが恋しい季節だな」などと思い、Wikipediaでコントロールキーについて調べてみた。すると、意外なことに、親指Ctrlのことが載っていた。なんでも、Macintosh…

GPL を GPLライセンス と表記してあるのを見つけた。GPLを略さずに書くと「GNU General Public License」であり、GNUの部分を省略し、さらにGeneral Public Licenseを省略することでGPLという形になる。つまり、GPLライセンスは「馬から落馬する」と同じ状態…

せっかくのGWをだらだらと過ごしてしまいました。すこしいじったので、経過報告。設定ファイルの書式変更をしました。具体的には、コマンドを数字ではなく文字で書くようにしました。たとえば、切り替えは switch 、カーソルを下げるのは curdn 。ついでに、…