Hey, I am having the us_intl problem here and found this bug report. I tried Denis' file: copied it to /etc/X11/xkb/symbol/pc/ and ran setxkbmap. It seems to work just fine now.
Thanks, -- [EMAIL PROTECTED]: Gustavo Noronha <http://people.debian.org/~kov> Debian: <http://www.debian.org> * <http://www.debian-br.org> "Não deixe para amanhã, o WML que você pode traduzir hoje!" http://debian-br.alioth.debian.org/?id=WebWML