move arch distoolbox to its own folder

2025-02-16 13:10:07 -05:00
parent d51b972e96
commit 2e4274a306
12 changed files with 93 additions and 94 deletions
@@ -6,7 +6,7 @@
        {
            "label": "Build arch-toolbox",
            "type": "shell",
-            "command": "./infrastructure/graduated/fedora/arch-build.sh",
+            "command": "./infrastructure/graduated/distoolbox/arch-build.sh",
            "problemMatcher": [],
            "group": {
                "kind": "build",