Martin Hepp

I do not think we should add any constraints using OWL axioms (e.g. disjointness axioms etc.), for the following reasons: 1. The semantics of domain and range in OWL and...

I also tried building the Docker image locally with the host user UID, GID and username included in the build process as `mycromamba`, to no avail: ```bash # Build micromamba-docker:1.5.6...

Thanks for looking into this! Please note that I am using a rootless Docker installation on the host machine, as is best practice; this may have an effect- For my...

> Works fine for me too: > > ```shell > $ docker run --rm -it -v "$(pwd):/tmp" --user $UID:$GID mambaorg/micromamba:1.5.6 /bin/bash > (base) I have no name!@9b2eefcffcd4:/tmp$ touch test &&...

One small addendum: 1. [Bash does not seem to set the `$GID` enviroment variable](https://askubuntu.com/a/1124677), which leads to a GID of 0 **and root group membership.** 2. So it is better...

For others running into similar problems, this tool might be useful: https://www.joyfulbikeshedding.com/blog/2023-04-20-cure-docker-volume-permission-pains-with-matchhostfsowner.html

Still working on the issue... and I think there is an underlying problem that surfaces when you are using `micromamba-docker` 1. with the **plain Docker daemon** (not Docker Desktop), 2....

Have been doing additional experiments today - here is my current summary: Essentially, there are at least four solutions: **Option 1: Make `mambauser` root with `--user root`** I think the...

Addendum: 1. Instead of editing `subuid` and `subgid` with an editor, you can better `usermod` like so (from [here](https://wiki.gentoo.org/wiki/Subuid_subgid)): ```bash sudo usermod --add-subuids - ``` 2. The proposed solution requires...

Update: 1. My preferred Option 2 (via `subuid`) does not seem to work, because at least in Debian, there is a conflict when mapping the container user to the UID...