#!/bin/sh
"$(dirname "$0")"/ed2 "$*" && chmod +x "$*"