Tools: Docker

Docker

what it is

An infrastructure that containerizes programs to make them easy to distribute and run

public resources:

• wikipedia: https://en.wikipedia.org/wiki/Docker_(software)

what we use it for

Wrapping complex programs and environment for distribution. Currently aimed at

• getpapers to avoid installing Node
• ami and amidict to distribute code, dictionaries, stylesheets etc.
• KNIME to distribute precompiled workflows

installation

projects

getpapers

ami

KNIME