From 5813fbd3a191aa877c8aca5293678affae77c052 Mon Sep 17 00:00:00 2001 From: Maximilian Friedersdorff Date: Mon, 15 Apr 2019 11:57:54 +0100 Subject: [PATCH] Set nocaps behaviour correctly --- bash/.bash_profile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/bash/.bash_profile b/bash/.bash_profile index 5675327..a10989b 100644 --- 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 -- 2.47.1