1  [general]
 2  # Create a toolbox container for a different operating system distro than the
 3  # host. Cannot be used with 'image'.
 4  ## distro = "fedora"
 5  
 6  # Create a toolbox container for a different operating system release than the
 7  # host. Cannot be used with 'image'.
 8  ## release = "33"
 9  
10  # Change the name of the image used to create the toolbox container. This is
11  # useful for creating containers from custom-built images. Cannot be used with
12  # 'distro' or 'release'.
13  #
14  # If the name does not contain a registry, the local image storage will be
15  # consulted, and if it's not present there then it will be pulled from a
16  # suitable remote registry.
17  image = "docker.io/dirk1980/dev-toolbox:latest"