feat: Add start_docker function

.github/workflows/scorecards.yml

@@ -48,7 +48,6 @@ jobs:
           # (Optional) "write" PAT token. Uncomment the `repo_token` line below if:
           # - you want to enable the Branch-Protection check on a *public* repository, or
           # - you are installing Scorecards on a *private* repository
-          # To create the PAT, follow the steps in https://github.com/ossf/scorecard-action#authentication-with-pat.
           # repo_token: ${{ secrets.SCORECARD_TOKEN }}
 
           # Public repositories:
@@ -60,7 +59,8 @@ jobs:
           #     of the value entered here.
           publish_results: true
 
-      # Upload the results as artifacts (optional). Commenting out will disable uploads of run results in SARIF
+      # Upload the results as artifacts (optional).
+      # Commenting out will disable uploads of run results in SARIF
       # format to the repository Actions tab.
       - name: "Upload artifact"
         uses: actions/upload-artifact@834a144ee995460fba8ed112a2fc961b36a5ec5a # v4.3.6

Dockerfile.dev

@@ -72,6 +72,7 @@ RUN /tmp/scripts/install_dependencies.sh \
     && mv /tmp/scripts/install_musl.sh /usr/local/bin/install_musl \
     && mv /tmp/scripts/install_pinokio.sh /usr/local/bin/install_pinokio \
     && mv /tmp/scripts/install_xr0.sh /usr/local/bin/install_xr0 \
+    && mv /tmp/scripts/start_docker.sh /usr/local/bin/start_docker \
     && mv /tmp/scripts/start_pinokio.sh /usr/local/bin/start_pinokio \
     && /usr/bin/pwsh -Command /tmp/scripts/Install-Modules.ps1 \
     && eval "$(/home/linuxbrew/.linuxbrew/bin/brew shellenv)" \

Makefile

@@ -14,7 +14,6 @@ lint:
         hadolint ./Dockerfile.$$image ; \
     done
 	@hadolint ./Dockerfile
-	# @hadolint ./.github/actions/build-and-push-image/Dockerfile
 	@yamllint .
 	@checkov
 check:
@@ -91,6 +90,7 @@ SCRIPTS = \
 	./provision/scripts/dev/install_ohmyzsh.sh \
 	./provision/scripts/dev/install_pinokio.sh \
 	./provision/scripts/dev/install_xr0.sh \
+	./provision/scripts/dev/start_docker.sh \
 	./provision/scripts/dev/start_pinokio.sh \
 	./provision/scripts/gold/install_aeneas.sh \
 	./provision/scripts/gold/install_coq.sh \

provision/scripts/dev/start_docker.sh

@@ -0,0 +1,11 @@
+#! /bin/bash
+set -e
+
+requires \
+    docker
+main() {
+    local COUNT="${1:-65536}"
+    ulimit -n "${COUNT}"
+    service docker start
+}
+main "$@"