From 10e3862fc0d622fb80c1b755111d827da0e6d759 Mon Sep 17 00:00:00 2001 From: Fenris Wolf Date: Fri, 25 Oct 2024 10:30:20 +0200 Subject: [PATCH] [mod] tools:default directories --- tools/build | 2 +- tools/deploy | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/tools/build b/tools/build index 46c7d41..18e0282 100755 --- a/tools/build +++ b/tools/build @@ -12,7 +12,7 @@ def main(): "-o", "--output-directory", type = str, - default = "/tmp/zeitbild-frontend-web", + default = "/tmp/dali", metavar = "", help = "output directory", ) diff --git a/tools/deploy b/tools/deploy index 9ccae6c..8e64eae 100755 --- a/tools/deploy +++ b/tools/deploy @@ -28,7 +28,7 @@ def main(): "--build-directory", type = str, dest = "build_directory", - default = "build", + default = "/tmp/dali", metavar = "", help = "directory to where the build was put", )