I installed Ubuntu 18.04.1 on my workstation last week. The ctrl keys did not work initially until I google'd the reason and found a link that stated to download gnome-tweak-tools, and then modify some setting. This made it so that the ctrl keys worked. But for the past few days, the ctrl keys have stopped working again.
I can't even do ctrl+c in terminal. When I type this, it just types the letter c.
Does anyone know how to fix this problem?