Restore "devx" wrapper name for action compatibility

The devShellTools migration (a354771) renamed the writeTextFile wrapper
from "devx" to "${name}-env.sh", breaking compatibility with
input-output-hk/actions/devx/action.yml which greps for "devx" in the
imported store paths. Restore the fixed "devx" name and update the
matching patterns in ghcr-upload.sh and Dockerfile accordingly.

Author: angerman

Dockerfile

@@ -28,7 +28,7 @@ if [ -n "\$VSCODE_IPC_HOOK_CLI" ]; then
     mkdir -p "\$(dirname "\$VSCODE_IPC_HOOK_CLI")"
 fi
 # This line is the one that actually brings DevX devshell ...
-source $(grep -m 1 -e '-env.sh$' store-paths.txt)
+source $(grep -m 1 -e 'devx$' store-paths.txt)
 EOF
 
 # This enforce those settings in DevContainer whatever "Settings Sync" user preferences ...

extra/ghcr-upload.sh

@@ -14,6 +14,7 @@ nix-store -r "$SHELL_NIX_PATH" || nix-store -r "$SHELL_NIX_PATH" || nix-store -r
 CLOSURE_PATHS=$(nix-store -qR "$SHELL_NIX_PATH")
 nix-store --export $CLOSURE_PATHS | zstd -z8T8 >${DEV_SHELL}
 # Verify the environment script is included in the closure.
-# The script filename ends with -env.sh (e.g., ghc96-env.sh, ghc98-static-iog-env.sh).
-if ! echo "$CLOSURE_PATHS" | grep -q -- "-env\.sh$"; then exit 1; fi
+# The wrapper script is always named "devx" for compatibility with
+# input-output-hk/actions/devx/action.yml which matches on that name.
+if ! echo "$CLOSURE_PATHS" | grep -q "devx$"; then exit 1; fi
 oras push ghcr.io/input-output-hk/devx:${DEV_SHELL} ${DEV_SHELL}

flake.nix

@@ -362,7 +362,7 @@
                 shellHook = drv.shellHook or "";
 
               in pkgs.writeTextFile {
-                name = "${name}-env.sh";
+                name = "devx";
                 executable = true;
                 text = ''
                   #! /usr/bin/env nix-shell