#!/bin/bash
if [ "$1" = '' ]; then echo 'Usage: archrm <path to checkout>'
exit 1 fi # FIXME: Check if there are uncommited changes #pushd $1 # #popd rm -rf $1