3 Commits

Author	SHA1	Message	Date
arzzen	261262ab4e	Update Dockerfile - add coreutils	2025-08-03 18:48:37 +02:00
Raphael	115b21a48d	fix(docker): tell Git that the workdir is safe ... When bind-mounting a Git repository to the workdir, Git would complain about 'dubious ownership'. We add an exception to the global Git config, in the way Git tells us to. This should be safe since - we run in a container, and - the user can set the mount to read-only. refs: issue #179	2025-01-03 14:00:30 +01:00
Jérémy WALTHER	27edcf0f7a	Add Dockerfile	2019-12-12 19:09:56 +01:00