From 85e211be7bf90a1cffbf4149c010347ecb787300 Mon Sep 17 00:00:00 2001 From: Gernot Salzer Date: Thu, 7 Aug 2025 16:43:18 +0200 Subject: [PATCH] Fix build instruction The option `--name` as to follow immediately after `docker run` in order to take effect. When it is in the end, it is ignored. --- pages/docs/build.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/pages/docs/build.md b/pages/docs/build.md index fa7e0ca..66b89e7 100644 --- a/pages/docs/build.md +++ b/pages/docs/build.md @@ -18,7 +18,7 @@ docker build . -f ./.github/images/fedora-41/Dockerfile -t souffle-builder-image # # Look for message 'CPack: - package: /souffle/build/souffle-VERSION-OS.EXTENSION' # -docker run -e DOMAIN_SIZE="64bit" -t souffle-builder-image --name souffle-builder +docker run --name souffle-builder -e DOMAIN_SIZE="64bit" -t souffle-builder-image # Copy the package onto your system docker cp souffle-builder:/souffle/build/souffle-VERSION-OS.EXTENSION .