Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Convert ParadeDB extensions publishing to dpkg-deb #947

Closed
philippemnoel opened this issue Mar 4, 2024 · 1 comment
Closed

Convert ParadeDB extensions publishing to dpkg-deb #947

philippemnoel opened this issue Mar 4, 2024 · 1 comment
Labels
ci/tests Issue related to our CI and/or testing frameworks github_actions Pull requests that update GitHub Actions code priority-3-low Low priority issue

Comments

@philippemnoel
Copy link
Collaborator

What
We currently use checkinstall, but we use dpkg-deb everywhere else. Checkinstall hasn't been maintained in years and we were forced to swap it out everywhere else. We should swap it out in our pgrx extensions packaging as well, to avoid bad surprises coming in the future.

Why
^

How
^
@philippemnoel philippemnoel added ci/tests Issue related to our CI and/or testing frameworks github_actions Pull requests that update GitHub Actions code priority-3-low Low priority issue labels Mar 4, 2024
@philippemnoel philippemnoel changed the title Converted ParadeDB extensions publishing to dpkg-deb Convert ParadeDB extensions publishing to dpkg-deb Mar 4, 2024
@philippemnoel
Copy link
Collaborator Author

Well. Apparently, I had already done this 🤷‍♂️

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
ci/tests Issue related to our CI and/or testing frameworks github_actions Pull requests that update GitHub Actions code priority-3-low Low priority issue
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@philippemnoel