Как я могу экспортировать соединения в pgadmin4?
Я намереваюсь pgadmin в docker , и я хочу сопоставить серверы.json, как предложено.Поэтому я решил просто экспортировать свои соединения в локальный pgadmin4 и отобразить их.
Я нашел объяснение для серверов экспорта.К сожалению, это не работает.Я пробовал Ubuntu 18.04 LTS и Windows 10 Pro, но я всегда получаю сообщения об ошибках.Вот сообщение, которое я получаю в Ubuntu:
$ python3 /usr/share/pgadmin4/web/setup.py --dump-servers output_file.json
Traceback (most recent call last):
File "/usr/share/pgadmin4/web/setup.py", line 406, in <module>
dump_servers(args)
File "/usr/share/pgadmin4/web/setup.py", line 63, in dump_servers
app = create_app()
File "/usr/share/pgadmin4/web/pgadmin/__init__.py", line 229, in create_app
create_app_data_directory(config)
File "/usr/share/pgadmin4/web/pgadmin/setup/data_directory.py", line 29, in create_app_data_directory
_create_directory_if_not_exists(config.SESSION_DB_PATH)
File "/usr/share/pgadmin4/web/pgadmin/setup/data_directory.py", line 15, in _create_directory_if_not_exists
os.mkdir(_path)
FileNotFoundError: [Errno 2] No such file or directory: '/var/cache/pgadmin/sessions'
Это кажется логичным, поскольку такого файла нет.Но как я могу экспортировать настройки своего сервера и поделиться ими через servers.json?