json formating parity

DiamondLightSource · Nov 19, 2024 · 893ae35 · 893ae35
1 parent 99bcc66
commit 893ae35
Showing 1 changed file with 1 addition and 8 deletions.
diff --git a/src/terminal-history/devcontainer-feature.json b/src/terminal-history/devcontainer-feature.json
@@ -2,18 +2,11 @@
     "name": "BASH terminal auto history configuration",
     "id": "shared-bash-config",
     "version": "1.0.0",
+    "description": "Make default BASH terminal nicer",
     "containerEnv": {
         "CONFIG_FOLDER": "/devcontainer_rc",
         "CONFIG_STAGING": "/devcontainer_staging"
     },
-    "description": "Make default BASH terminal nicer.",
-    // "options": {
-    //     "host_config_folder": {
-    //         "type": "string",
-    //         "default": "${localEnv:HOME}/.config/devcontainer_rc",
-    //         "description": "host folder for devcontainer shell configuration"
-    //     }
-    // },
     "mounts": [
         {
             "source": "${localEnv:HOME}/.config/devcontainer_rc",