nix/develop/bin/nix-develop

#! /usr/bin/env bash
set -eo pipefail

workdir="$(mktemp -d)"
trap 'rm -rf "$workdir"' EXIT
echo "${INPUT_RUN}" >"${workdir}/run.sh"

__cmd="develop"
if [ "$(basename $0)" = "nix-shell" ]; then
    __cmd="shell"
fi

nix "${__cmd}" "${INPUT_FLAKE}#${INPUT_PACKAGE}" -c bash -eo pipefail "${workdir}/run.sh"
Add a nix/develop action Signed-off-by: Gergely Nagy <me@gergo.csillger.hu> 2023-09-22 20:37:44 +02:00			`#! /usr/bin/env bash`
			`set -eo pipefail`

			`workdir="$(mktemp -d)"`
			`trap 'rm -rf "$workdir"' EXIT`
			`echo "${INPUT_RUN}" >"${workdir}/run.sh"`

Add a nix/shell action Since it's basically the same as `nix/develop`, with only the nix command changed, leverage the existing script. Signed-off-by: Gergely Nagy <me@gergo.csillger.hu> 2023-09-22 21:43:51 +02:00			`__cmd="develop"`
			`if [ "$(basename $0)" = "nix-shell" ]; then`
			`__cmd="shell"`
			`fi`

develop: Run the user script with -eo pipefail Signed-off-by: Gergely Nagy <me@gergo.csillger.hu> 2023-09-22 21:56:05 +02:00			`nix "${__cmd}" "${INPUT_FLAKE}#${INPUT_PACKAGE}" -c bash -eo pipefail "${workdir}/run.sh"`