From d38ac12cb96e8bced81ee30b0e0d8fc6d1d65b5e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?=C3=81lvaro=20Gonz=C3=A1lez?= Date: Sun, 5 Apr 2026 13:49:56 +0200 Subject: [PATCH] better warning for distrobox container --- TODO.md | 5 ++++- flutterw | 8 ++++++++ 2 files changed, 12 insertions(+), 1 deletion(-) diff --git a/TODO.md b/TODO.md index bcec37d..0a6c8dd 100644 --- a/TODO.md +++ b/TODO.md @@ -80,6 +80,9 @@ - The "paste" button will copy the clipboard into the text editor. - A second button "import" will use the import preview screen -[R] Launch test app_test.dart. Iterate until the test pass. -- [ ] Add a uuid column to the table or FormulaElements, so it is not necessary to load all the formulas to find a formula by uuid. This will improve performance when updating and deleting. +- [ ] Unify UUID and id of FormulaElement + - UUID is in memory + - id is in database + - remove id from database, add UUID to database - [ ] Make formulaSolver() asyncronous, and show a CircularProgressIndicator while the formula is being solved. Honor a new optinal parameter "timeout" in formulaSolver, that will throw a TimeoutException. - [ ] When importing FormulaElements, save the FormulaElements in the database (currently, they are only added to the Corpus in memory). diff --git a/flutterw b/flutterw index e341985..863b222 100755 --- a/flutterw +++ b/flutterw @@ -7,6 +7,8 @@ BUILDCACHE=./.build-container-cache DOCKERFILE=./docker/Dockerfile IMAGE=d4rt-formulas-builder +ALL_ARGS="$@" + detect_container_manager(){ if [ "$DOCKER" != "" ] @@ -18,6 +20,12 @@ detect_container_manager(){ elif command -v docker > /dev/null 2>&1 then DOCKER=docker + elif [ -n "$DISTROBOX_HOST_HOME" ] + then + echo "Detected distrobox, as DISTROBOX_HOST_HOME is defined" + echo "Please try to run this script as: " + echo " distrobox-host-exec $0 $ALL_ARGS" + exit 3 else echo "Error: no container manager detected (like 'docker' or 'podman'), please define DOCKER variable" exit 2