[SCM] Debian packaging of Pinto CPAN distribution branch, master, updated. 30fb9d00606d7f294654e468d27b86f105be9437

[Oleg Gashev]

The following commit has been merged in the master branch:
commit 30fb9d00606d7f294654e468d27b86f105be9437
Author: Oleg Gashev <oleg at gashev.net>
Date:   Fri Jun 7 07:10:13 2013 +0000

    /var/pinto replaced to /var/lib/pinto.

diff --git a/debian/pinto.default b/debian/pinto.default
index 331fcc5..b72b511 100644
--- a/debian/pinto.default
+++ b/debian/pinto.default
@@ -10,4 +10,4 @@
 START_PINTOD=0
 
 # command line options
-PINTOD_OPTS="--root=/var/pinto --access-log=/var/log/pinto/access.log --error-log=/var/log/pinto/error.log --daemonize"
+PINTOD_OPTS="--root=/var/lib/pinto --access-log=/var/log/pinto/access.log --error-log=/var/log/pinto/error.log --daemonize"
diff --git a/debian/pinto.postinst b/debian/pinto.postinst
index 40d8d8b..47f3e29 100644
--- a/debian/pinto.postinst
+++ b/debian/pinto.postinst
@@ -9,8 +9,8 @@ if [ "$1" = configure ]; then
 	getent passwd pinto >/dev/null 2>&1 ||
 	adduser --system --no-create-home --disabled-password --ingroup pinto pinto
 
-	if [ ! -e /var/pinto ] ; then
-		cp -r /usr/share/pinto/new-repository /var/pinto
+	if [ ! -e /var/lib/pinto ] ; then
+		cp -r /usr/share/pinto/new-repository /var/lib/pinto
 	fi
 
 	if [ ! -e /var/run/pinto ] ; then
diff --git a/debian/pinto.postrm b/debian/pinto.postrm
index e58e782..a4bb1e8 100644
--- a/debian/pinto.postrm
+++ b/debian/pinto.postrm
@@ -7,7 +7,7 @@ case "$1" in
     purge)
 
 	rm -rf /var/log/pinto;
-	rmdir /var/pinto 2> /dev/null || true;
+	rm -rf  /var/lib/pinto 2> /dev/null || true;
 	rmdir /var/run/pinto 2> /dev/null || true;
 
         # delete pinto daemon user, if it exists

-- 
Debian packaging of Pinto CPAN distribution