Skip to content

.github/with-docker: make compatible with podman as well - #2880

Merged
anvacaru merged 4 commits into
masterfrom
podman
Sep 9, 2026
Merged

anvacaru merged 4 commits into
masterfrom
podman

Conversation

@ehildenb

@ehildenb ehildenb commented Sep 9, 2026

Copy link
Copy Markdown
Member

docker cp . ... behaves differently on docker backend and podman backend, this enables it to work the same on both. Also the variable USER and GROUP being used in the docker scripts is clobbering the login-set variants of those variables that all shells are given, so those variable names are changed. It happened to work before because github-user matched the name we were using for teh user on the lxc containers.

@anvacaru
anvacaru merged commit c900b36 into master Sep 9, 2026
39 of 41 checks passed
@anvacaru
anvacaru deleted the podman branch September 9, 2026 19:25
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.

2 participants