better warning for distrobox container
This commit is contained in:
parent
958050311e
commit
d38ac12cb9
2 changed files with 12 additions and 1 deletions
5
TODO.md
5
TODO.md
|
|
@ -80,6 +80,9 @@
|
||||||
- The "paste" button will copy the clipboard into the text editor.
|
- The "paste" button will copy the clipboard into the text editor.
|
||||||
- A second button "import" will use the import preview screen
|
- A second button "import" will use the import preview screen
|
||||||
-[R] Launch test app_test.dart. Iterate until the test pass.
|
-[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.
|
- [ ] 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).
|
- [ ] When importing FormulaElements, save the FormulaElements in the database (currently, they are only added to the Corpus in memory).
|
||||||
|
|
|
||||||
8
flutterw
8
flutterw
|
|
@ -7,6 +7,8 @@ BUILDCACHE=./.build-container-cache
|
||||||
DOCKERFILE=./docker/Dockerfile
|
DOCKERFILE=./docker/Dockerfile
|
||||||
IMAGE=d4rt-formulas-builder
|
IMAGE=d4rt-formulas-builder
|
||||||
|
|
||||||
|
ALL_ARGS="$@"
|
||||||
|
|
||||||
detect_container_manager(){
|
detect_container_manager(){
|
||||||
|
|
||||||
if [ "$DOCKER" != "" ]
|
if [ "$DOCKER" != "" ]
|
||||||
|
|
@ -18,6 +20,12 @@ detect_container_manager(){
|
||||||
elif command -v docker > /dev/null 2>&1
|
elif command -v docker > /dev/null 2>&1
|
||||||
then
|
then
|
||||||
DOCKER=docker
|
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
|
else
|
||||||
echo "Error: no container manager detected (like 'docker' or 'podman'), please define DOCKER variable"
|
echo "Error: no container manager detected (like 'docker' or 'podman'), please define DOCKER variable"
|
||||||
exit 2
|
exit 2
|
||||||
|
|
|
||||||
Loading…
Reference in a new issue