#!/usr/bin/env bash add_plugin() { owner=$1 repo=$2 branch=${3:-HEAD} dont_build=${4:-true} echo "Updating $owner/$repo" >&2 revision=$(git ls-remote "https://github.com/$owner/$repo" "$branch" | cut -b -40) sha256=$(nix-prefetch-url --unpack "https://github.com/$owner/$repo/archive/$revision.tar.gz") cat <