Michael Banck
|
66706ec370
|
* debian/patches/startup_scripts.patch: Split out patroni@.service into ...
* debian/patroni@.service: ... this.
* debian/patroni.install: Adjusted.
|
2018-11-11 15:23:27 +01:00 |
|
|
Michael Banck
|
9bebf50f35
|
* debian/patches/startup_scripts.patch: Add RuntimeDirectory option, set to
create the instance temporary statistics direcotry %v-%c.pg_stat_tmp.
|
2018-11-10 17:38:31 +01:00 |
|
|
Michael Banck
|
0a80df53c0
|
* debian/patches/behave_failure_logging.patch: Refreshed.
* debian/patches/consul_import.patch: Likewise.
* debian/patches/coverage_binary.patch: Likewise.
* debian/patches/startup_scripts.patch: Likewise.
|
2018-11-05 08:47:35 +01:00 |
|
|
Michael Banck
|
5c467495c6
|
* debian/patches/startup_scripts.patch: Add patroni service template
patroni@.service.
* debian/patroni.install: Install it.
|
2018-10-22 18:34:21 +02:00 |
|
|
Michael Banck
|
c2d94ded1d
|
* debian/patches/patroni_service.patch: Removed, and folded into ...
* debian/patches/startup_scripts.patch: ... this.
|
2018-09-28 12:20:08 +02:00 |
|
|
Michael Banck
|
ce1da1ca62
|
* debian/patches/coverage_binary.patch: Refreshed.
* debian/patches/startup_scripts.patch: Likewise.
|
2018-09-21 11:18:33 +02:00 |
|
Michael Banck
|
1c14a2bb17
|
* debian/patches/startup_scripts.patch: Updated.
|
2018-01-24 07:02:56 +01:00 |
|
|
Michael Banck
|
180e97b96e
|
Patch startup scripts in-place and install them rather then install a modified copy of them
|
2017-09-14 21:01:58 +02:00 |
|