IntenseWebs/pgadmin4
3
0
Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2025-01-13 09:32:01 -06:00
Code Issues Packages Projects Releases Wiki Activity
3,608 Commits 11 Branches 108 Tags 332 MiB
f156696339
Commit Graph

3 Commits

Author SHA1 Message Date
Dave Page
f156696339 Add support for building RHEL/CentOS 8 RPMs. 2020-03-18 08:51:11 -04:00
Dave Page
b6c8707a4d Don't barf if the tree is clean. 2020-03-16 12:40:01 +00:00
Dave Page
a684b48fb3 Add experimental scripts for building Debian/Ubuntu packages. 
Code is split into pkg/debian for the Debian/Ubuntu specific parts,
and pkg/linux for generic code that can be used on other distros.

Tested on Debian 10 and Ubuntu 18.04 at present.
 2020-03-12 15:24:58 +00:00