Aufgrund einer Wartung am 15.04.2025 von 8:00 bis 09:00 Uhr werden git.rwth-aachen.de & git-ce.rwth-aachen.de zeitweise nicht zur Verfügung stehen. -- Due to maintenance at 15.04.2025 from 8:00 to 09:00, git.rwth-aachen.de & git-ce.rwth-aachen.de will be temporarily unavailable.
@@ -50,7 +50,7 @@ Make sure you installed Docker and it is running on your system. You can start t
# Run (and possibly pull) fenicsr13_release service
docker-compose run --rm fenicsr13_release
# Only for developers, install the lastest version using pipeline
# Only for developers, install the lastest version using pip
# pip install -e .
When you run this for the first time, docker will pull (download and extract) the container image from our repository which is roughly 800MB and the download may require some patience. After the initial download the docker image will be stored (2-3 GB) on your system and any new run will start the container immediately.
