#!/bin/sh
"$(dirname "$0")"/ed2 "$*" && chmod +x "$*" && git add "$*" && git update-index --chmod=+x "$*"