User Environments

User environments are built as immutable Docker images. The Docker images bundle the dependencies, extensions, and predefined notebooks that should be available to all users.

Plasma relies on the tljh-repo2docker plugin to manage environments. The tljh-repo2docker uses jupyter-repo2docker to build the Docker images.

Environments can be managed by admin users by clicking on Environments in the navigation bar:

Note

The user must be an admin to be able to access and manage the list of environments.

The page will show the list of environments currently available:

After a fresh install, this list will be empty.

Managing User Environments

• Preparing the environment
  • Create a new repository
  • How to specify the dependencies
  • Testing on Binder
  • Extra documentation
• Adding a new environment
• Removing an environment
  • Removing an environment returns an error
• Updating an environment

Uninstalling Preparing the environment