Personal Package Archives for Ubuntu on Github Pages.
This action can be used in Github Pages, to maintain an Ubuntu PPA.
- Create a GPG key to sign files in the PPA directory. Github docs has documentation for that.
- Create Github Pages repository. Github pages has a documentation for that.
- Create a directory in the repository.
- Add the
.debfiles to the directory. - Create a repository secret Github docs has documentation for that.
- Create a workflow to generate the PPA files.
| Input | Description | Required |
|---|---|---|
| actor | Github username to use for commit-and-push | false |
| actor_id | Github user ID to use for commit-and-push | false |
| base-dir | Path to the directory, where the PPA should be set up | true |
| list-name | Name of the .list file, preferably a unique name | true |
| private-key | GPG private key to sign the files with | true |
| repository-owner | Github repository owner to use for the .list file | true |
There are no outputs.
name: Build PPA
on:
workflow_dispatch:
jobs:
package:
name: Update PPA
runs-on: ubuntu-latest
steps:
- name: Checkout repository
uses: actions/checkout@v4
- name: Generate PPA
uses: csutorasa/ppa-pages@main
with:
base-dir: ppa
list-name: my_ppa
private-key: ${{ secrets.PRIVATE_KEY }}
repository-owner: ${{ github.repository_owner }}name: Build PPA
on:
workflow_dispatch:
jobs:
package:
name: Update PPA
runs-on: ubuntu-latest
permissions:
contents: write
steps:
- name: Checkout repository
uses: actions/checkout@v4
- name: Generate and update PPA
uses: csutorasa/ppa-pages@main
with:
actor: ${{ github.actor }}
actor-id: ${{ github.actor_id }}
base-dir: ppa
list-name: my_ppa
private-key: ${{ secrets.PRIVATE_KEY }}
repository-owner: ${{ github.repository_owner }}