The mapping was done with gnome-tweak-tool by setting 'caps lock key behavior' to 'make caps lock an additional ctrl'.
The mapping was done with gnome-tweak-tool by setting 'caps lock key behavior' to 'make caps lock an additional ctrl'.