view debian/postrm @ 20544:6612c7dde2cd

Rename all codecs directory options.
author diego
date Tue, 31 Oct 2006 14:47:34 +0000
parents 02309ce6fc22
children
line wrap: on
line source

#!/bin/sh

set -e

if [ "$1" = "purge" ]; then
	if [ -e /usr/share/debconf/confmodule ]; then
		# Source debconf library.
		. /usr/share/debconf/confmodule
		# Remove my changes to the db.
		db_purge
	fi

	if [ -d /etc/mplayer/ ]; then
		rm -rf /etc/mplayer/
	fi
fi

#DEBHELPER#