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

[Oleg Gashev]

The following commit has been merged in the master branch:
commit ad871103e988df1c37f4e3e5bd00743876968a7d
Author: Oleg Gashev <oleg at gashev.net>
Date:   Sun Jun 9 19:10:00 2013 +0000

    Replaced pinto repository location: /var/lib/pinto => /var/lib/pinto/repository/default.

diff --git a/debian/pinto.default b/debian/pinto.default
index b72b511..6f68104 100644
--- a/debian/pinto.default
+++ b/debian/pinto.default
@@ -10,4 +10,4 @@
 START_PINTOD=0
 
 # command line options
-PINTOD_OPTS="--root=/var/lib/pinto --access-log=/var/log/pinto/access.log --error-log=/var/log/pinto/error.log --daemonize"
+PINTOD_OPTS="--root=/var/lib/pinto/repository/default/ --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 d92af2c..890fd48 100644
--- a/debian/pinto.postinst
+++ b/debian/pinto.postinst
@@ -4,14 +4,16 @@ set -e
 
 . /usr/share/debconf/confmodule
 
+defaultRepositoryPath='/var/lib/pinto/repository/default'
+
 if [ "$1" = configure ]; then
-	if [ ! -e /var/lib/pinto ] ; then
-		/usr/bin/pinto -r /var/lib/pinto init
+	if [ ! -e "$defaultRepositoryPath" ] ; then
+		/usr/bin/pinto -r $defaultRepositoryPath init
 	else
-		echo "Cannot create a new repository to /var/lib/pinto."
-		echo "/var/lib/pinto already exist."
-		echo "To create a new repository, remove /var/lib/pinto"
-		echo "and exec /usr/bin/pinto -r /var/lib/pinto init."
+		echo "Cannot create a new repository to $defaultRepositoryPath."
+		echo "$defaultRepositoryPath already exist."
+		echo "To create a new repository, remove $defaultRepositoryPath."
+		echo "and exec /usr/bin/pinto -r $defaultRepositoryPath init."
 	fi
 
 	if [ ! -e /var/log/pinto ] ; then

-- 
Debian packaging of Pinto CPAN distribution