the four programs of the openshell package
     25.8 MB  /usr/bin/openshell
    100.4 MB  /usr/bin/openshell-gateway
     32.6 MB  /usr/bin/openshell-prover
     44.2 MB  /usr/libexec/openshell/openshell-driver-vm
    203.0 MB  together
the images Docker holds
  208MB  lab-tools:1
  139MB  nvcr.io/nvidia/base/ubuntu:24.04
  73MB  ghcr.io/nvidia/openshell/supervisor:0.1.2
  15.9MB  ghcr.io/nvidia/openshell/sandbox:0.1.2
what the gateway keeps for its sandboxes
      0.0 MB  ~/.local/state/openshell/docker-sandbox-tokens
      0.8 MB  ~/.local/state/openshell/gateway
      0.1 MB  ~/.local/state/openshell/tls
    581.9 MB  ~/.local/state/openshell/vm-driver
     44.1 MB  ~/openshell-venv (the Python with the library)
memory held while one sandbox runs
    129.4 MB  the gateway (programs: 1)
    174.2 MB  the sandbox's virtual machine (programs: 2)
the disk of this Linux
   Size  Used Avail Mounted on
  1007G  3.2G  953G /