The following fix did the trick for me: https://www.reddit.com/r/linuxquestions/comments/4ezv4s/us_international_keyboard_giving_%C4%87_instead_of_%C3%A7/
The following fix did the trick for me: /www.reddit. com/r/linuxques tions/comments/ 4ezv4s/ us_internationa l_keyboard_ giving_ %C4%87_ instead_ of_%C3% A7/
https:/