#! /bin/sh exec "$HOME"/admin/prog/git-scripts/update