diff --git a/agents/.env.agents b/agents/.env.agents index 1968290..da58ded 100644 --- a/agents/.env.agents +++ b/agents/.env.agents @@ -1,3 +1,7 @@ +# Python schreibt sofort statt gepuffert: lange Läufe im Hintergrund lassen sich +# zwischendurch im Log mitlesen (sonst bleibt die Datei bis zum Ende leer) +export PYTHONUNBUFFERED=1 + export USE_AGENT_SSH_USER=1 # fester Socket des geteilten Agent-ssh-agents (Start + Key-Load macht # agent-env in ~/.zshrc) — hier gesetzt, damit Signing (GIT_CONFIG_* unten)