IntenseWebs/pgadmin4
3
0
Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2024-11-25 02:00:19 -06:00
Code Issues Packages Projects Releases Wiki Activity
7,360 Commits 8 Branches 107 Tags 380 MiB
f5f79a516a
Commit Graph

58 Commits

Author SHA1 Message Date
Dave Page
5ab056759b Use the proper naming convention for .DEB packages 2020-03-20 12:26:10 +00:00
Dave Page
cb600549c3 Don't hard code the architecture. 2020-03-19 12:56:39 -04:00
Dave Page
f156696339 Add support for building RHEL/CentOS 8 RPMs. 2020-03-18 08:51:11 -04:00
Dave Page
0b101d9efd Update tested distros list. 2020-03-13 12:36:08 +00:00
Dave Page
b69995b34d Use fakeroot to set file ownership as dpkg-deb can't do it itself on older distros. 2020-03-13 12:17:10 +00:00
Dave Page
ef6c9fbd6d Setup dependencies as required on Ubuntu 16.04 and Debian 9 2020-03-13 11:55:03 +00:00
Dave Page
e43f58d11f Ensure file/directory ownership is correct. 2020-03-12 15:35:43 +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