HHKの◇をSuperに割り当てる

HHKの◇のマークが付いたキーをgnomeのキーボードの設定ダイアログでは使えるようにできなかったのでxmodmapで設定した。

~/.Xmodmap に

keycode 129 = Super_R
keycode 131 = Super_L

! add Mod4 = Super_L

でできた。ログイン時にこのファイルは自動的に読み込んでくれている。そうでない場合は、.bashrcなりに書いておけばいいと思う。
! でコメントアウトしてある部分は、僕の場合は既にSuper_Lがモディファイアとして登録されていたので必要なかった。登録されているかどうかは

$ xmodmap -pm

で調べられる。