Refine workshop UI navigation and hardening guidance
This commit is contained in:
+17
-5
@@ -14,17 +14,29 @@ echo "[info] Stoppe und entferne Container, Netzwerke, Volumes"
|
||||
echo "[info] Entferne ungenutzte lokale Images"
|
||||
docker image prune -f >/dev/null 2>&1 || true
|
||||
|
||||
if [[ "$HARD_RESET" == "--hard" ]]; then
|
||||
if [[ "$HARD_RESET" == "--hard" || "$HARD_RESET" == "--hard-origin" ]]; then
|
||||
if git rev-parse --is-inside-work-tree >/dev/null 2>&1; then
|
||||
if git rev-parse --verify HEAD >/dev/null 2>&1; then
|
||||
echo "[info] Git Hard Reset: stelle Dateien auf HEAD zurueck"
|
||||
git restore --source=HEAD --staged --worktree .
|
||||
TARGET_REF="HEAD"
|
||||
|
||||
if [[ "$HARD_RESET" == "--hard-origin" ]]; then
|
||||
echo "[info] Versuche auf origin/main zurueckzusetzen"
|
||||
git fetch origin main --quiet >/dev/null 2>&1 || true
|
||||
if git rev-parse --verify origin/main >/dev/null 2>&1; then
|
||||
TARGET_REF="origin/main"
|
||||
else
|
||||
echo "[warn] origin/main nicht verfuegbar, fallback auf HEAD"
|
||||
fi
|
||||
fi
|
||||
|
||||
if git rev-parse --verify "$TARGET_REF" >/dev/null 2>&1; then
|
||||
echo "[info] Git Hard Reset: stelle Dateien auf $TARGET_REF zurueck"
|
||||
git restore --source="$TARGET_REF" --staged --worktree .
|
||||
else
|
||||
echo "[warn] Git-Repo ohne Commit-Historie, Datei-Restore wird uebersprungen"
|
||||
fi
|
||||
git clean -fd
|
||||
else
|
||||
echo "[warn] Kein Git-Repo erkannt, --hard wird uebersprungen"
|
||||
echo "[warn] Kein Git-Repo erkannt, Git-Reset wird uebersprungen"
|
||||
fi
|
||||
fi
|
||||
|
||||
|
||||
Reference in New Issue
Block a user