The Dockerfiles to build the registries are in the root directory of the respective GitHub repository.
Building the images of the plug-in registry
Procedure
-
Run the following command
$ docker build -t my-plugin-registry ./che-plugin-registry/
Building the images of the devfile registry
Procedure
-
Run the following command
$ docker build -t my-devfile-registry ./che-devfile-registry