Skip to content

Add Debian packaging#27

Merged
thomaslepoix merged 7 commits intomainfrom
dev/pack-debian
Aug 25, 2025
Merged

Add Debian packaging#27
thomaslepoix merged 7 commits intomainfrom
dev/pack-debian

Conversation

@thomaslepoix
Copy link
Member

@thomaslepoix thomaslepoix commented Aug 24, 2025

Fixes #7

A CI workflow triggered by a release publish will build a Debian source package, upload it as a workflow artifact and forward it to OBS where it will be compiled into binary packages for various deb based distros and finally served on this page. Here is a run of this workflow.

An XDG desktop entry is also provided as part of this PR.

@thomaslepoix thomaslepoix force-pushed the dev/pack-debian branch 7 times, most recently from e6a3c57 to 39d679b Compare August 25, 2025 01:05
@sonarqubecloud
Copy link

@thomaslepoix thomaslepoix merged commit 608736f into main Aug 25, 2025
5 checks passed
@thomaslepoix thomaslepoix added this to the 0.0.1 milestone Jan 31, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Add Debian packaging

1 participant