add EnableEscapeCommandline option

metio · Feb 16, 2023 · e3b26a0 · e3b26a0
1 parent 4140cb6
commit e3b26a0
Show file tree

Hide file tree

Showing 7 changed files with 99,067 additions and 96,947 deletions.
diff --git a/grammar.js b/grammar.js
@@ -36,6 +36,7 @@ module.exports = grammar({
         $.control_path,
         $.control_persist,
         $.dynamic_forward,
+        $.enable_escape_commandline,
         $.enable_ssh_keysign,
         $.escape_char,
         $.exit_on_forward_failure,
@@ -314,6 +315,12 @@ module.exports = grammar({
     ),
     dynamic_forward_value: $ => /\S.*/,
 
+    enable_escape_commandline: $ => option(
+        'EnableEscapeCommandline',
+        $.enable_escape_commandline_value
+    ),
+    enable_escape_commandline_value: $ => alias($.boolean, "enable_escape_commandline_value"),
+
     enable_ssh_keysign: $ => option(
         'EnableSSHKeysign',
         $.enable_ssh_keysign_value

diff --git a/queries/highlights.scm b/queries/highlights.scm
@@ -81,6 +81,9 @@
 (enable_ssh_keysign) @keyword
 (enable_ssh_keysign_value) @constant.builtin.boolean
 
+(enable_escape_commandline) @keyword
+(enable_escape_commandline_value) @constant.builtin.boolean
+
 (escape_char) @keyword
 (escape_char_value) @constant.character.escape
 

diff --git a/src/grammar.json b/src/grammar.json
@@ -115,6 +115,10 @@
           "type": "SYMBOL",
           "name": "dynamic_forward"
         },
+        {
+          "type": "SYMBOL",
+          "name": "enable_escape_commandline"
+        },
         {
           "type": "SYMBOL",
           "name": "enable_ssh_keysign"
@@ -2666,6 +2670,89 @@
       "type": "PATTERN",
       "value": "\\S.*"
     },
+    "enable_escape_commandline": {
+      "type": "SEQ",
+      "members": [
+        {
+          "type": "ALIAS",
+          "content": {
+            "type": "TOKEN",
+            "content": {
+              "type": "PREC",
+              "value": 1,
+              "content": {
+                "type": "PATTERN",
+                "value": "[eE][nN][aA][bB][lL][eE][eE][sS][cC][aA][pP][eE][cC][oO][mM][mM][aA][nN][dD][lL][iI][nN][eE]"
+              }
+            }
+          },
+          "named": false,
+          "value": "EnableEscapeCommandline"
+        },
+        {
+          "type": "CHOICE",
+          "members": [
+            {
+              "type": "PATTERN",
+              "value": "[ \\t]"
+            },
+            {
+              "type": "STRING",
+              "value": "="
+            }
+          ]
+        },
+        {
+          "type": "CHOICE",
+          "members": [
+            {
+              "type": "STRING",
+              "value": "="
+            },
+            {
+              "type": "BLANK"
+            }
+          ]
+        },
+        {
+          "type": "CHOICE",
+          "members": [
+            {
+              "type": "STRING",
+              "value": "\""
+            },
+            {
+              "type": "BLANK"
+            }
+          ]
+        },
+        {
+          "type": "SYMBOL",
+          "name": "enable_escape_commandline_value"
+        },
+        {
+          "type": "CHOICE",
+          "members": [
+            {
+              "type": "STRING",
+              "value": "\""
+            },
+            {
+              "type": "BLANK"
+            }
+          ]
+        }
+      ]
+    },
+    "enable_escape_commandline_value": {
+      "type": "ALIAS",
+      "content": {
+        "type": "SYMBOL",
+        "name": "boolean"
+      },
+      "named": false,
+      "value": "enable_escape_commandline_value"
+    },
     "enable_ssh_keysign": {
       "type": "SEQ",
       "members": [

diff --git a/src/node-types.json b/src/node-types.json
@@ -443,6 +443,10 @@
           "type": "dynamic_forward",
           "named": true
         },
+        {
+          "type": "enable_escape_commandline",
+          "named": true
+        },
         {
           "type": "enable_ssh_keysign",
           "named": true
@@ -930,6 +934,26 @@
     "named": true,
     "fields": {}
   },
+  {
+    "type": "enable_escape_commandline",
+    "named": true,
+    "fields": {},
+    "children": {
+      "multiple": false,
+      "required": true,
+      "types": [
+        {
+          "type": "enable_escape_commandline_value",
+          "named": true
+        }
+      ]
+    }
+  },
+  {
+    "type": "enable_escape_commandline_value",
+    "named": false,
+    "fields": {}
+  },
   {
     "type": "enable_ssh_keysign",
     "named": true,
@@ -2770,6 +2794,10 @@
     "type": "DynamicForward",
     "named": false
   },
+  {
+    "type": "EnableEscapeCommandline",
+    "named": false
+  },
   {
     "type": "EnableSSHKeysign",
     "named": false