feat: dev tools

install-scripts/dotnet

@@ -0,0 +1,31 @@
+#!/bin/sh
+set -eu
+
+: "${DEV_TOOLS_DIR:?DEV_TOOLS_DIR is required}"
+: "${DOTNET_CHANNEL:?DOTNET_CHANNEL is required}"
+
+install_dir="$DEV_TOOLS_DIR/dotnet"
+bin_dir="$DEV_TOOLS_DIR/bin"
+installer=$(mktemp)
+trap 'rm -f "$installer"' EXIT
+
+mkdir -p "$install_dir" "$bin_dir"
+python3 - "$installer" <<'PYTHON'
+import sys
+import urllib.request
+
+urllib.request.urlretrieve("https://dot.net/v1/dotnet-install.sh", sys.argv[1])
+PYTHON
+
+/bin/bash "$installer" \
+    --channel "$DOTNET_CHANNEL" \
+    --install-dir "$install_dir" \
+    --no-path
+
+printf '%s\n' \
+    '#!/bin/sh' \
+    "export DOTNET_ROOT='$install_dir'" \
+    "exec '$install_dir/dotnet' \"\$@\"" \
+    > "$bin_dir/dotnet"
+chmod 0755 "$bin_dir/dotnet"
+"$bin_dir/dotnet" --info