fix: rename bash tool to exec (#748) (thanks @myfunc)

2026-01-12 02:49:55 +00:00
parent b33bd6aaeb
commit 98337a14b3
51 changed files with 294 additions and 252 deletions
--- a/docs/docs.json
+++ b/docs/docs.json
@@ -103,7 +103,11 @@
    },
    {
      "source": "/bash",
-      "destination": "/tools/bash"
+      "destination": "/tools/exec"
+    },
+    {
+      "source": "/tools/bash",
+      "destination": "/tools/exec"
    },
    {
      "source": "/bonjour",
@@ -696,7 +700,7 @@
        "pages": [
          "tools",
          "plugin",
-          "tools/bash",
+          "tools/exec",
          "tools/elevated",
          "tools/browser",
          "tools/browser-linux-troubleshooting",