#!/bin/sh

echo "$0"  # editor command
echo "$@"  # command arguments
