cmd_to_ctrl_except_in_terminal.json

{
    "title": "Terminal modifications",
    "rules": [
        {
            "description": "Cmd to Ctrl except in Terminal",
            "manipulators": [
                {
                    "type": "basic",
                    "from": {
                        "key_code": "left_control"
                    },
                    "to": [
                        {
                            "key_code": "left_command"
                        }
                    ],
                    "conditions": [
                        {
                            "type": "frontmost_application_unless",
                            "bundle_identifiers": [
                                "com.apple.Terminal"
                            ]
                        }
                    ]
                }
            ]
        }
    ]
}