Setup the server for the deploy of a portal

Before reading this document, you should read and follow the steps detailed in server setup.

First deploy on a server

  1. Create the directories needed for the deploy. Reefer to the section about production configurations in server setup to learn how to configure it.

    • $PROD_GIT_REPOS_LOCATION
    • $PROD_BARE_GIT_REPOS_LOCATION: this may be on a different server and rely on HTTPS instead of SSH. git repositories accessible in this location must be clonable by the user.
  2. Create the global git repositories for search and vhosts in $PROD_BARE_GIT_REPOS_LOCATION with the name search.git and vhosts.d.git. This can be done in $PROD_BARE_GIT_REPOS_LOCATION with:

    • git init --bare search.git
    • git init --bare vhosts.d.git
  3. Ask the user to init these repositories for production with (in geo-infra and $INFRA_DIR pointing to the proper infrastructure directory):

    • manuel init-prod-repo search
    • manuel init-prod-repo vhosts.d

Deploy of a new portal

  1. Create the bare repository for the portal in $PROD_BARE_GIT_REPOS_LOCATION named like this <portal>.git. This can be done with: git init --bare <portal>.git
  2. Ask the user to init these repositories for production with (in geo-infra and $INFRA_DIR pointing to the proper infrastructure directory): manuel init-prod-repo <portal>
  3. Create the symlink to your MapServe executable named like <portal> in the directory defined by vhost.ows_path from customer-infra/config/_common.dist.toml