fix (ide): Fix (broken) Codespace, now it works (again)

tools/devcontainer/install.bash

@@ -25,12 +25,14 @@ set -euo pipefail
 ROOT_DIR=$(realpath "$(dirname "$0")")/../..
 
 "$ROOT_DIR"/tools/asdf/install.bash
+# shellcheck source=/dev/null
+source "$HOME/.asdf/asdf.sh"
 
 # Since we do not install Java via ASDF by default (see PS in .tools-versions),
 # we do that here now - but notably only for the dev container. And we do a "global"
 # installation, to prevent this from being added to the project's .tools-versions.
 asdf plugin add java
-asdf install temurin-21.0.2+13.0.LTS
+asdf install java temurin-21.0.2+13.0.LTS
 asdf global java temurin-21.0.2+13.0.LTS
 java --version