Mikhail Tikhonov (Moscow State Univ)
Hi Lambert,
ein Student aus Moskau hat den Code versucht auszuprobieren. Hier sein Problem:
Am 05.10.2019 um 23:48 schrieb Mikhail Tikhonov:
Hello.
First of all, I wasn't able to git clone it.
error: cannot run ssh: No such file or directory fatal: unable to fork
Zip version worked fine. Secondly, I had to install docker-compose (I do have docker installed, but not docker-compose). After 20~ minutes of docker-related issues, I got stuck here and couldn't find a solution on the internet (at least yet):
[mikhail@rainbow fenicsR13-master]$ sudo docker-compose run --rm fenicsr13_release Error response from daemon: OCI runtime create failed: container_linux.go:345: starting container process caused "process_linux.go:430: container init caused \"rootfs_linux.go:58: mounting \\\"/root/.gitconfig\\\" to rootfs \\\"/var/lib/docker/overlay2/5e9e7dc56f5f59e04134b7af107953b43cef9860/merged\\\" at \\\"/var/lib/docker/overlay2/5e9e7dc56f5f59e04134b7af107953b43cef9860/merged/etc/gitconfig\\\" caused \\\"not a directory\\\"\"": unknown: Are you trying to mount a directory onto a file (or vice-versa)? Check if the specified host path exists and is the expected type
Best, Mikhail
Offenbar benutzt er docker unter Linux - hast du das mal probiert?