devtools/archrm

#!/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
Add arch{co,release,rm} to devtools and make them install properly 2008-04-06 03:11:32 +02:00			`#!/bin/bash`

apply common coding style 2010-02-13 19:47:16 +01:00			`if [ "$1" = '' ]; then`
			`echo 'Usage: archrm <path to checkout>'`
Add arch{co,release,rm} to devtools and make them install properly 2008-04-06 03:11:32 +02:00			`exit 1`
			`fi`

			`# FIXME: Check if there are uncommited changes`
			`#pushd $1`
			`#`
			`#popd`

			`rm -rf $1`