First you need to install the locales you want:
sudo dpkg-reconfigure localesThen refresh your current environment:
| keymaps 0-2,4-5,8,12 | |
| altgr keycode 2 = F1 | |
| altgr keycode 3 = F2 | |
| altgr keycode 4 = F3 | |
| altgr keycode 5 = F4 | |
| altgr keycode 6 = F5 | |
| altgr keycode 7 = F6 | |
| altgr keycode 8 = F7 | |
| altgr keycode 9 = F8 | |
| altgr keycode 10 = F9 |