Sign with SSH / add SSH helpers

[rbdr/dotfiles] / config / karabiner / karabiner.json

diff --git a/config/karabiner/karabiner.json b/config/karabiner/karabiner.json
index 360dd8c955421f9e698b2c86d651e675632c0402..8a77fbc3b08cbc2e60657f8c88452a54d02018bc 100644 (file)
--- a/config/karabiner/karabiner.json
+++ b/config/karabiner/karabiner.json
@@ -1,34 +1,18 @@
 {
 {

-    "global": {
-        "check_for_updates_on_startup": true,
-        "show_in_menu_bar": true,
-        "show_profile_name_in_menu_bar": false
-    },
+    "global": { "show_in_menu_bar": false },

     "profiles": [
         {
             "complex_modifications": {
     "profiles": [
         {
             "complex_modifications": {

-                "parameters": {
-                    "basic.simultaneous_threshold_milliseconds": 50,
-                    "basic.to_delayed_action_delay_milliseconds": 500,
-                    "basic.to_if_alone_timeout_milliseconds": 1000,
-                    "basic.to_if_held_down_threshold_milliseconds": 500,
-                    "mouse_motion_to_scroll.speed": 100
-                },

                 "rules": [
                     {
                         "description": "print_screen to command+shift+4",
                         "manipulators": [
                             {
                 "rules": [
                     {
                         "description": "print_screen to command+shift+4",
                         "manipulators": [
                             {

-                                "from": {
-                                    "key_code": "print_screen"
-                                },
+                                "from": { "key_code": "print_screen" },

                                 "to": [
                                     {
                                         "key_code": "4",
                                 "to": [
                                     {
                                         "key_code": "4",

-                                        "modifiers": [
-                                            "left_gui",
-                                            "left_shift"
-                                        ],
+                                        "modifiers": ["left_gui", "left_shift"],

                                         "repeat": false
                                     }
                                 ],
                                         "repeat": false
                                     }
                                 ],


@@ -40,16 +24,11 @@
                         "description": "pause to ctrl+command+q",
                         "manipulators": [
                             {
                         "description": "pause to ctrl+command+q",
                         "manipulators": [
                             {

-                                "from": {
-                                    "key_code": "pause"
-                                },
+                                "from": { "key_code": "pause" },

                                 "to": [
                                     {
                                         "key_code": "q",
                                 "to": [
                                     {
                                         "key_code": "q",

-                                        "modifiers": [
-                                            "left_gui",
-                                            "left_control"
-                                        ],
+                                        "modifiers": ["left_gui", "left_control"],

                                         "repeat": false
                                     }
                                 ],
                                         "repeat": false
                                     }
                                 ],


@@ -61,17 +40,11 @@
                         "description": "Insert to Ctrl+Cmd+Alt+N",
                         "manipulators": [
                             {
                         "description": "Insert to Ctrl+Cmd+Alt+N",
                         "manipulators": [
                             {

-                                "from": {
-                                    "key_code": "insert"
-                                },
+                                "from": { "key_code": "insert" },

                                 "to": [
                                     {
                                         "key_code": "n",
                                 "to": [
                                     {
                                         "key_code": "n",

-                                        "modifiers": [
-                                            "left_control",
-                                            "left_alt",
-                                            "left_gui"
-                                        ],
+                                        "modifiers": ["left_control", "left_alt", "left_gui"],

                                         "repeat": true
                                     }
                                 ],
                                         "repeat": true
                                     }
                                 ],


@@ -83,151 +56,54 @@
             },
             "devices": [
                 {
             },
             "devices": [
                 {

-                    "disable_built_in_keyboard_if_exists": false,
-                    "fn_function_keys": [],

                     "identifiers": {
                         "is_keyboard": true,
                     "identifiers": {
                         "is_keyboard": true,

-                        "is_pointing_device": false,

                         "product_id": 25903,
                         "vendor_id": 3141
                     },
                         "product_id": 25903,
                         "vendor_id": 3141
                     },

-                    "ignore": false,
-                    "manipulate_caps_lock_led": false,
-                    "simple_modifications": []
-                }
-            ],
-            "fn_function_keys": [
-                {
-                    "from": {
-                        "key_code": "f1"
-                    },
-                    "to": [
-                        {
-                            "consumer_key_code": "display_brightness_decrement"
-                        }
-                    ]
-                },
-                {
-                    "from": {
-                        "key_code": "f2"
-                    },
-                    "to": [
-                        {
-                            "consumer_key_code": "display_brightness_increment"
-                        }
-                    ]
-                },
-                {
-                    "from": {
-                        "key_code": "f3"
-                    },
-                    "to": [
-                        {
-                            "key_code": "mission_control"
-                        }
-                    ]
+                    "manipulate_caps_lock_led": false

                 },
                 {
                 },
                 {

-                    "from": {
-                        "key_code": "f4"
-                    },
-                    "to": [
-                        {
-                            "key_code": "launchpad"
-                        }
-                    ]
-                },
-                {
-                    "from": {
-                        "key_code": "f5"
-                    },
-                    "to": [
-                        {
-                            "key_code": "illumination_decrement"
-                        }
-                    ]
-                },
-                {
-                    "from": {
-                        "key_code": "f6"
-                    },
-                    "to": [
-                        {
-                            "key_code": "illumination_increment"
-                        }
-                    ]
-                },
-                {
-                    "from": {
-                        "key_code": "f7"
+                    "identifiers": {
+                        "is_keyboard": true,
+                        "product_id": 834,
+                        "vendor_id": 1452

                     },
                     },

-                    "to": [
+                    "simple_modifications": [

                         {
                         {

-                            "consumer_key_code": "rewind"
-                        }
-                    ]
-                },
-                {
-                    "from": {
-                        "key_code": "f8"
-                    },
-                    "to": [
+                            "from": { "key_code": "grave_accent_and_tilde" },
+                            "to": [{ "key_code": "non_us_backslash" }]
+                        },

                         {
                         {

-                            "consumer_key_code": "play_or_pause"
+                            "from": { "key_code": "non_us_backslash" },
+                            "to": [{ "key_code": "grave_accent_and_tilde" }]

                         }
                     ]
                         }
                     ]

-                },
+                }
+            ],
+            "fn_function_keys": [

                 {
                 {

-                    "from": {
-                        "key_code": "f9"
-                    },
-                    "to": [
-                        {
-                            "consumer_key_code": "fast_forward"
-                        }
-                    ]
+                    "from": { "key_code": "f3" },
+                    "to": [{ "key_code": "mission_control" }]

                 },
                 {
                 },
                 {

-                    "from": {
-                        "key_code": "f10"
-                    },
-                    "to": [
-                        {
-                            "consumer_key_code": "mute"
-                        }
-                    ]
+                    "from": { "key_code": "f4" },
+                    "to": [{ "key_code": "launchpad" }]

                 },
                 {
                 },
                 {

-                    "from": {
-                        "key_code": "f11"
-                    },
-                    "to": [
-                        {
-                            "consumer_key_code": "volume_decrement"
-                        }
-                    ]
+                    "from": { "key_code": "f5" },
+                    "to": [{ "key_code": "illumination_decrement" }]

                 },
                 {
                 },
                 {

-                    "from": {
-                        "key_code": "f12"
-                    },
-                    "to": [
-                        {
-                            "consumer_key_code": "volume_increment"
-                        }
-                    ]
+                    "from": { "key_code": "f6" },
+                    "to": [{ "key_code": "illumination_increment" }]

                 }
             ],
             "name": "Default profile",
                 }
             ],
             "name": "Default profile",

-            "parameters": {
-                "delay_milliseconds_before_open_device": 1000
-            },

             "selected": true,
             "selected": true,

-            "simple_modifications": [],

             "virtual_hid_keyboard": {
                 "country_code": 0,
             "virtual_hid_keyboard": {
                 "country_code": 0,

-                "indicate_sticky_modifier_keys_state": true,
-                "mouse_key_xy_scale": 100
+                "keyboard_type_v2": "ansi"

             }
         }
     ]
             }
         }
     ]