#! /bin/sh "$HOME"/admin/prog/git-scripts/update || exit 1 exec compyleall