xmodmap dos ctrl