diff options
| author | penguin <penguin@epenguin.net> | 2025-12-12 22:55:30 -0600 |
|---|---|---|
| committer | penguin <penguin@epenguin.net> | 2025-12-12 23:05:05 -0600 |
| commit | 8a483e6d6c757051f34026ed1e5cd2351346422e (patch) | |
| tree | c9748a70c49338b122172bcb64bd4f2e4c829f7c | |
| parent | 59c060df54eb599b6b6bc8755af13fb1c44337c2 (diff) | |
| download | gentoo-utils-8a483e6d6c757051f34026ed1e5cd2351346422e.tar.gz | |
ci: set default shell to login shell
This way /etc/profile is sourced in our gentoo jobs
| -rw-r--r-- | .gitea/workflows/gentoo-utils.yml | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/.gitea/workflows/gentoo-utils.yml b/.gitea/workflows/gentoo-utils.yml index 7a91fe8..9e9cf6f 100644 --- a/.gitea/workflows/gentoo-utils.yml +++ b/.gitea/workflows/gentoo-utils.yml @@ -2,6 +2,10 @@ name: Gentoo Utils on: [push] +defaults: + run: + shell: bash -l {0} + jobs: build-oci-image: runs-on: ubuntu-latest |