all repos — nixfiles @ e708bfa96dbeb11778ed4badee18e7c3cb06b73d

System and user configuration, managed by nix and home-manager

Update Karabiner configuration
Alan Pearce alan@alanpearce.eu
Fri, 12 May 2017 14:48:21 +0200
commit

e708bfa96dbeb11778ed4badee18e7c3cb06b73d

parent

26ab88d706e7de3a10310ab0b50cea62b8b0f23a

1 files changed, 24 insertions(+), 2 deletions(-)

jump to
M karabiner/.config/karabiner/karabiner.jsonkarabiner/.config/karabiner/karabiner.json
@@ -15,7 +15,7 @@ "is_pointing_device": false,                         "product_id": 602,
                         "vendor_id": 1452
                     },
-                    "ignore": true,
+                    "ignore": false,
                     "keyboard_type": 41
                 },
                 {
@@ -51,6 +51,7 @@ "caps_lock": "delete_or_backspace",                 "left_command": "left_option",
                 "left_control": "left_command",
                 "left_option": "right_control",
+                "menu": "fn",
                 "right_command": "right_option",
                 "right_control": "right_command",
                 "right_option": "right_control"
@@ -61,7 +62,28 @@ "keyboard_type": "ansi"             }
         },
         {
-            "devices": [],
+            "devices": [
+                {
+                    "disable_built_in_keyboard_if_exists": false,
+                    "identifiers": {
+                        "is_keyboard": true,
+                        "is_pointing_device": false,
+                        "product_id": 602,
+                        "vendor_id": 1452
+                    },
+                    "ignore": false
+                },
+                {
+                    "disable_built_in_keyboard_if_exists": false,
+                    "identifiers": {
+                        "is_keyboard": true,
+                        "is_pointing_device": false,
+                        "product_id": 33290,
+                        "vendor_id": 1452
+                    },
+                    "ignore": true
+                }
+            ],
             "fn_function_keys": {
                 "f1": "display_brightness_decrement",
                 "f10": "mute",