Customization #

Custom Portal work is all defined within the Portal overlay. In this section, we’ll take a look at customizing the Portal, including overlay initialization, structure, portlets and pages, and extensions.

Before beginning custom development in Portal, run ./pragma portal setup to install required local dependencies.

Prerequisite: Before setting up Portal, you’ll need to have Node.js installed.

Initialize the overlay #

To initialize the overlay for custom Portal development in [project]/portal, run ./pragma portal setup from the platform directory. Note that this command will fail if [project]/portal already exists.

To validate changes, there are two options:

• Production: run ./pragma portal package and access the Portal on the usual ports 10200, 11200 and 11000 with a valid running engine.
• Development: run ./pragma portal start alongside a valid running engine. For each Portal build, this starts up a local server in development mode to enable easy debugging and portlet development.

Contents #