Console Output

+ bin/isabelle components -a
### Missing Isabelle component: "/media/data/jenkins/.isabelle/contrib/idea-icons-20210508"
### Missing Isabelle component: "/media/data/jenkins/.isabelle/contrib/jedit_build-20210510-1"
Getting "https://isabelle.sketis.net/components/idea-icons-20210508.tar.gz"
Unpacking "/media/data/jenkins/.isabelle/contrib/idea-icons-20210508.tar.gz"
Getting "https://isabelle.sketis.net/components/jedit_build-20210510-1.tar.gz"
Unpacking "/media/data/jenkins/.isabelle/contrib/jedit_build-20210510-1.tar.gz"