fix bazel version selection (#16)

Author: lurtz

src/s-core-devcontainer/.devcontainer/devcontainer.json

@@ -17,8 +17,8 @@
             // Installs latest version from the Distribution
             "installZsh": "false",
             "username": "vscode",
-			"userUid": "1000",
-			"userGid": "1000",
+            "userUid": "1000",
+            "userGid": "1000",
             "upgradePackages": "false" // WARNING: do *not* enable; this would include packages also from other features, which may have been pinned to a specific version
         },
         "ghcr.io/devcontainers-community/features/llvm": {
@@ -30,7 +30,7 @@
             "version": "3.12.11"
         },
         "./s-core-local": {
-            "BAZEL_VERSION": "7.5.0",
+            "BAZEL_VERSION": "8.3.0",
             "BUILDIFIER_VERSION": "8.2.1",
             // The following sha256sum is for the binary buildifier-linux-amd64
             // from the GitHub release page of buildtools

src/s-core-devcontainer/.devcontainer/s-core-local/devcontainer-feature.json

@@ -31,8 +31,9 @@
         }
     },
     "onCreateCommand": "/devcontainer/features/s-core-local/on_create_command.sh",
-    // The repos in S-CORE may use different Bazel versions. This ensures that the required version is installed
-    "postCreateCommand": "if [ -f .bazelversion ]; then sudo apt update && sudo apt install bazel-$(cat .bazelversion); fi",
+    // The repos in S-CORE may use different Bazel versions. This ensures that the required version is installed.
+    // Should be removed once we provide versions of the devcontainer.
+    "postCreateCommand": "if [ -f .bazelversion ] && [ \"$(cat .bazelversion)\" != \"$(dpkg --list | grep 'ii  bazel   ' | awk '{print $3}')\" ]; then sudo apt-get update && sudo apt-get install -y --allow-downgrades bazel=$(cat .bazelversion); fi",
     "mounts": [
         {
             "source": "${localEnv:HOME}/.cache/bazel", // default Bazel cache directory