chore: add state to gitignore

2025-10-12 12:02:50 +02:00
parent c32721c49c
commit 87350e7efe
5 changed files with 1 additions and 5 deletions
--- a/devc.sh
+++ b/devc.sh
@@ -61,7 +61,6 @@ script_dir="$(dirname "$(realpath "$0")")"
 # Get container registry from DEVC_REGISTRY env variable.
 if [ -n "${DEVC_REGISTRY:-}" ]; then
  registry="$DEVC_REGISTRY"
-  echo "$registry" >"$script_dir/state/registry"
 else
  log "registry unknown; set the DEVC_REGISTRY environment variable" 'x' 31
  exit 1