I just installed and run dosbox on my Ubuntu 16.04 machine, and I noticed that the shift keys don't work at all inside dosbox. They don't work in combination with any other key. If I hold shift and press and other button (say a letter key, or the semi-colon/colon key which I really really need for …