From 62d151d779c5f713e6220e490800a005ac1587ab Mon Sep 17 00:00:00 2001
From: Charlie Lin <tuug@gmx.us>
Date: Tue, 21 Apr 2026 08:24:26 -0500
Subject: [PATCH] Add Docker path to devcontainer.json

---
 .devcontainer/devcontainer.json | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
index fb11c82bb96d9c..c8fe5d945f9a59 100644
--- a/.devcontainer/devcontainer.json
+++ b/.devcontainer/devcontainer.json
@@ -6,7 +6,9 @@
         "install",
         "-y",
         // For umask fix below.
-        "/usr/bin/setfacl"
+        "/usr/bin/setfacl",
+        // To run make regen-configure
+        "/usr/bin/docker"
     ],
     "updateContentCommand": {
         // Using the shell for `nproc` usage.