mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-01 01:17:02 +00:00
92b5fe3410
- pet portlint. PR: ports/71351 Submitted by: Matthias Andree.
9 lines
203 B
Bash
9 lines
203 B
Bash
#!/bin/sh
|
|
case "$2" in DEINSTALL)
|
|
if cmp -s "$PKG_PREFIX/etc/cone" "$PKG_PREFIX/etc/cone.dist" ; then
|
|
rm -f "$PKG_PREFIX/etc/cone"
|
|
else
|
|
echo "Modified $PKG_PREFIX/etc/cone left in place."
|
|
fi
|
|
esac
|