| products/Sources/formale Sprachen/PVS/sets_aux/ (PVS Prover Version 6.0.9©) Datei vom 28.9.2014 mit Größe 3 kB |
|
Impressum docker-setup.shSprache: Shell |
|||||||||||||||
|
#!/usr/bin/env bash set -euo pipefail ROOT_DIR="$(cd "$(dirname "${BASH_SOURCE[0]}")" && pwd)" SCRIPT_PATH="$ROOT_DIR/scripts/docker/setup.sh" if [[ ! -f "$SCRIPT_PATH" ]]; then echo "Docker setup script not found at $SCRIPT_PATH" >&2 exit 1 fi exec "$SCRIPT_PATH" "$@"
¤ Dauer der Verarbeitung: 0.0 Sekunden (vorverarbeitet am 2026-06-09) ¤*© Formatika GbR, Deutschland |
|
||||||||||||||
2026-07-09