>>16
ありがとう!.xprofileはだめだった(>>11と同じ)が、xkb側でいけたよ。

setxkbmap -vの情報を元に/usr/share/X11/xkb/symbols/inetに

--- inet.orig 2009-11-25 07:24:29.000000000 +0900
+++ inet 2009-11-25 07:14:01.000000000 +0900
@@ -205,6 +205,7 @@
// key <I252> { [ ] }; // KEY_BRIGHTNESS_ZERO -- brightness off
// key <I253> { [ ] }; // KEY_DISPLAY_OFF -- turn off display

+ key <FK24> { [ F13 ] };
};

で☆キーがF13になった。なんでこれを思いつかなかったのかな、俺は…