Skip to content

Commit 2bdb5cb

Browse files
Optionally free up disk space before devcontainer build (#14)
1 parent 610fd14 commit 2bdb5cb

3 files changed

Lines changed: 13 additions & 2 deletions

File tree

README.md

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -27,8 +27,8 @@ Create Python distribution packages: source, wheel and Debian packages
2727
- `use-devcontainer`: Create packages using a devcontainer (default: `false`)
2828
- `pre-build-command`: Command to run before the package creation
2929
- `post-build-command`: Command to run after the package creation
30-
- `add-source-dist`: Add source distribution to the package creation (default: `true`)
3130
- `install-packaging-tools`: Install [Python packaging tools](https://github.com/EffectiveRange/packaging-tools/tree/main/python) (default: `true`)
31+
- `add-source-dist`: Add source distribution to the package creation (default: `true`)
3232
- `add-wheel-dist`: Add wheel distribution to the package creation (default: `true`)
3333
- `debian-dist-type`: Type of the Debian package to create: `fpm-deb`/`dh-virtualenv`/`none` (default: `none`)
3434
- `debian-dist-command`: Command to run for the Debian package creation
@@ -39,6 +39,7 @@ Create Python distribution packages: source, wheel and Debian packages
3939

4040
### Cross-platform package creation
4141

42+
- `free-disk-space`: Free up disk space before build (default: `false`)
4243
- `docker-registry`: Docker registry to use (default: `docker.io`)
4344
- `docker-username`: Docker registry username
4445
- `docker-password`: Docker registry password

action.yml

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -45,6 +45,10 @@ inputs:
4545
required: false
4646
default: '3.9'
4747

48+
free-disk-space:
49+
description: 'Free disk space before running'
50+
required: false
51+
default: 'false'
4852
docker-registry:
4953
description: 'Docker registry'
5054
required: false
@@ -136,6 +140,7 @@ runs:
136140
add-wheel-dist: ${{ inputs.add-wheel-dist }}
137141
debian-dist-type: ${{ inputs.debian-dist-type }}
138142
debian-dist-command: ${{ inputs.debian-dist-command }}
143+
free-disk-space: ${{ inputs.free-disk-space }}
139144
docker-registry: ${{ inputs.docker-registry }}
140145
docker-username: ${{ inputs.docker-username }}
141146
docker-password: ${{ inputs.docker-password }}

devcontainer/action.yml

Lines changed: 6 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -21,6 +21,10 @@ inputs:
2121
description: 'Debian packaging custom command'
2222
required: false
2323

24+
free-disk-space:
25+
description: 'Free disk space before running'
26+
required: false
27+
default: 'false'
2428
docker-registry:
2529
description: 'Docker registry'
2630
required: false
@@ -47,7 +51,8 @@ inputs:
4751
runs:
4852
using: 'composite'
4953
steps:
50-
- name: Free disk space
54+
- if : ${{ inputs.free-disk-space == 'true' }}
55+
name: Free disk space
5156
uses: jlumbroso/free-disk-space@main
5257
with:
5358
tool-cache: true

0 commit comments

Comments
 (0)