From c3c3863aadc85e4fc7c3d495b58e09312f4845c2 Mon Sep 17 00:00:00 2001 From: Henry-Hiles Date: Fri, 6 Feb 2026 19:15:13 -0500 Subject: [PATCH] pipe push/popd to dev null --- scripts/generate.sh | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/scripts/generate.sh b/scripts/generate.sh index faafd29..6076ab8 100755 --- a/scripts/generate.sh +++ b/scripts/generate.sh @@ -1,9 +1,9 @@ #!/usr/bin/env bash -pushd "$(dirname "$(readlink -f "$0")")"/.. || exit +pushd "$(dirname "$(readlink -f "$0")")"/.. > /dev/null || exit mkdir -p build touch build/lock dart scripts/generate.dart rm build/lock -popd || exit \ No newline at end of file +popd > /dev/null || exit \ No newline at end of file