Copy a single file from the remote git registory.

git-cp

#!/bin/bash

# Copy the single file from the remote git registory.

set -euo pipefail

if [[ $# -lt 3 ]]; then
  echo "Usage: $0 <repos> <branch> <src> [<dest>]">&2
  exit 1;
fi

repos="$1"
branch="$2"
src="${3#/}"
dest="${4:-.}"

work="$(mktemp -d)"

git clone --depth=1 --branch="$branch" --filter=blob:none --no-checkout "$repos" "$work"
trap "rm -rf ${work@Q}" EXIT
(
  cd "$work"
  git sparse-checkout set --no-cone "/$src"
  git checkout
)
cp "$work/$src" "$dest"