pgadmin4/pkg/linux/config_distro.py