Set keyboard layout on platinum

diff --git a/bash/.bash_profile b/bash/.bash_profile
index 31f6bb55685d37d85ae191b2e3c89706bedcf8a7..ea2bb880db6ed7b83ece762970dbc94afa8b7510 100644 (file)
--- a/bash/.bash_profile
+++ b/bash/.bash_profile
@@ -42,3 +42,9 @@ if [ $HOSTNAME = "magnesium" ]; then
   export XKB_DEFAULT_VARIANT=colemak
   export XKB_DEFAULT_OPTIONS=caps:ctrl_modifier
 fi
+
+if [ $HOSTNAME = "platinum" ]; then
+  export XKB_DEFAULT_LAYOUT=gb
+  export XKB_DEFAULT_VARIANT=colemak
+  export XKB_DEFAULT_OPTIONS=caps:ctrl_modifier
+fi