Set nocaps behaviour correctly

diff --git a/bash/.bash_profile b/bash/.bash_profile
index 5675327d727fa84babd096490f0c7c38ca322c90..a10989b0adce6a1219ef30f4717a1cfccf5f9c99 100644 (file)
--- a/bash/.bash_profile
+++ b/bash/.bash_profile
@@ -45,11 +45,11 @@ fi
 if [ $HOSTNAME = "magnesium" ]; then
   export XKB_DEFAULT_LAYOUT=us
   export XKB_DEFAULT_VARIANT=colemak
-  export XKB_DEFAULT_OPTIONS=caps:ctrl_modifier
+  export XKB_DEFAULT_OPTIONS=ctrl:nocaps
 fi
 
 if [ $HOSTNAME = "platinum" ]; then
   export XKB_DEFAULT_LAYOUT=gb
   export XKB_DEFAULT_VARIANT=colemak
-  export XKB_DEFAULT_OPTIONS=caps:ctrl_modifier
+  export XKB_DEFAULT_OPTIONS=ctrl:nocaps
 fi