我有在 Debian 9.11 上运行的 Postgresql 服务器 12.1，我在 Windows 客户端使用 pgadmin 4.18 管理数据库。
后来在服务器上我安装了 pgagent：
sudo apt-get update
sudo apt-get install pgagent
我发现 pgagent.sql 是在 /usr/share/pgadmin3 中创建的，它是 3.4 版。当我打开 pgadmin 时，扩展名下没有出现 pgagent。我尝试了 CREATE EXTENSION pgagent 但错误如下所示：
ERROR: could not open extension control file "/usr/share/postgresql/12/extension/pgagent.control": No such file or directory
SQL state: 58P01
显然 pgagent 的版本对于 postgresql 12 来说太旧了。
如何在 debian 上安装 pgagent 4 以便我可以使用我的 Pgadmin 4.18 对其进行配置？