From 3eee49ea4958da4438450535600366ade1333319 Mon Sep 17 00:00:00 2001 From: Tom Hu Date: Thu, 15 May 2025 08:28:56 -0700 Subject: [PATCH] fix: make the command_dump file executable from bash --- command_dump.py | 1 + 1 file changed, 1 insertion(+) diff --git a/command_dump.py b/command_dump.py index 546fbd54a..4fb0e741b 100644 --- a/command_dump.py +++ b/command_dump.py @@ -1,3 +1,4 @@ +#!/usr/bin/env python3 import subprocess