Anders Kaseorg 4eaf9d7e55 provision: Install non-PGDG PGroonga package in development environment. ...

The development environment installs PostgreSQL from the OS, not PGDG,
so we should install the non-PGDG PGroonga package to match.  This is
required on Debian 10 where postgresql-12-pgdg-pgroonga does not exist.

Signed-off-by: Anders Kaseorg <anders@zulip.com>
(cherry picked from commit 1178e015d1)

2022-03-09 17:31:13 -08:00

..

__init__.py

…

capitalization.py

docs: Fix capitalization mistakes.

2021-05-10 09:57:26 -07:00

git-tools.bash

tools: Give require_clean_work_tree our nice UI touches.

2020-04-06 17:52:10 -07:00

gitlint-rules.py

gitlint-rules: Remove convoluted binary search for imperative forms.

2021-03-22 18:08:01 -07:00

html_branches.py

python: Normalize quotes with Black.

2021-02-12 13:11:19 -08:00

pretty_print.py

docs: Fix capitalization mistakes.

2021-05-10 09:57:26 -07:00

provision_inner.py

ci: Use general terms for CircleCI.

2021-03-16 14:56:43 -07:00

provision.py

provision: Install non-PGDG PGroonga package in development environment.

2022-03-09 17:31:13 -08:00

sanity_check.py

sanity_check: Improve output for manual installation.

2021-04-01 10:54:56 -07:00

template_parser.py

docs: Fix capitalization mistakes.

2021-05-10 09:57:26 -07:00

test_script.py

Rename default branch to ‘main’.

2021-09-07 13:56:41 -07:00

test_server.py

tools: Rename force argument to skip-provision-check

2021-03-03 09:17:49 -08:00