Skip to content

Add Debian packaging #18

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.

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

Closed
wants to merge 1 commit into from
Closed

Add Debian packaging #18

wants to merge 1 commit into from

Conversation

saaros
Copy link
Contributor

@saaros saaros commented Jul 5, 2016

make deb9.5 to build a postgresql-9.5-pathman package.

`make deb9.5` to build a postgresql-9.5-pathman package.
@funbringer
Copy link
Collaborator

Hi @saaros,

Thank you for being interested in our project and for wanting to help us. Nevertheless, I'm doubtful about this feature. We already have a PostgreSQL distro which includes the latest stable release of pg_pathman, why would we need to add a specific Makefile rule to build a debian package?

@funbringer funbringer self-assigned this Jul 5, 2016
@saaros
Copy link
Contributor Author

saaros commented Jul 5, 2016

I'd be happy to use existing packages, but didn't find any so I rolled my own packaging scripts. Could the README be updated to point to existing binaries?

@funbringer
Copy link
Collaborator

@saaros

Unfortunately we don't provide separate packages for extensions at the moment. This will probably change in future.

@saaros
Copy link
Contributor Author

saaros commented Jul 5, 2016

In that case it sounds like providing packaging scripts would be useful for people wanting to use this extension in their systems.

@zilder
Copy link
Collaborator

zilder commented Jul 5, 2016

Hi @saaros,
Thank you for your pull request. We've had a discussion about it and decided not to merge it into this repo. But it is a good idea to have packaging scripts for different platforms, so we'll create a separate repository which will contain scripts for building and packaging pg_pathman. And we'll put a download link to our site as well.

@saaros
Copy link
Contributor Author

saaros commented Jul 6, 2016

Ok, I guess that works as well, although to me it feels like it would be much easier for users of these extensions to get the packaging scripts with the rest of the repo - in case they're interested in one particular extensions instead of everything you have. Anyway, feel free to close this PR if you don't think it should be merged. Thanks!

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.

3 participants