Skip to content

Keep the build output out of the sync - #206

Merged
vitramir merged 1 commit into
mainfrom
devspace-exclude-build-output
Aug 12, 2026
Merged

Keep the build output out of the sync#206
vitramir merged 1 commit into
mainfrom
devspace-exclude-build-output

Conversation

@vitramir

Copy link
Copy Markdown
Contributor

air builds into tmp/, and the devspace sync is bidirectional, so the ~50MB binary was copied back to the developer's machine. A download cut short — a pod restart mid-transfer is enough — leaves a truncated file there, and every later sync uploads it over the build air just made.

The result segfaults with no output, and deleting it in the pod does not help: the host copy restores it on the next sync. Cost an hour to find; file gave it away as too large section header offset.

Excluded in all three directions, as groups already does.

air builds into tmp/, and the sync is bidirectional, so the binary was
copied back to the developer's machine. A download cut short -- a pod
restart mid-transfer is enough -- leaves a truncated file there, and
every later sync uploads it over the build air just made. The result
segfaults with no output, and deleting it in the pod does not help
because the host copy restores it on the next sync.

Excluded in all three directions, as groups already does.
@vitramir
vitramir requested a review from a team as a code owner August 12, 2026 03:02
@vitramir
vitramir merged commit 44542a9 into main Aug 12, 2026
1 of 2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant