summaryrefslogtreecommitdiff
path: root/packaging
diff options
context:
space:
mode:
authorJameson Graef Rollins <jrollins@finestructure.net>2008-11-15 14:43:22 -0500
committerJameson Graef Rollins <jrollins@finestructure.net>2008-11-15 14:43:22 -0500
commit3726f3dd674e74258c5f47b00f3f6f15f4037175 (patch)
tree985b776adb9da469c7bb1fc29efdffbf7ee5d661 /packaging
parentd6298194a23adc09731b34568455a3598b29bea1 (diff)
move debian packaging to the packaging/ subdirectory.
Diffstat (limited to 'packaging')
l---------packaging/debian/changelog1
-rw-r--r--packaging/debian/compat1
-rw-r--r--packaging/debian/control23
-rw-r--r--packaging/debian/copyright24
-rw-r--r--packaging/debian/monkeysphere.dirs12
-rwxr-xr-xpackaging/debian/monkeysphere.postinst28
-rwxr-xr-xpackaging/debian/monkeysphere.postrm21
-rwxr-xr-xpackaging/debian/monkeysphere.preinst22
-rwxr-xr-xpackaging/debian/rules3
9 files changed, 135 insertions, 0 deletions
diff --git a/packaging/debian/changelog b/packaging/debian/changelog
new file mode 120000
index 0000000..d9956db
--- /dev/null
+++ b/packaging/debian/changelog
@@ -0,0 +1 @@
+../../website/changelog \ No newline at end of file
diff --git a/packaging/debian/compat b/packaging/debian/compat
new file mode 100644
index 0000000..7f8f011
--- /dev/null
+++ b/packaging/debian/compat
@@ -0,0 +1 @@
+7
diff --git a/packaging/debian/control b/packaging/debian/control
new file mode 100644
index 0000000..4c836b4
--- /dev/null
+++ b/packaging/debian/control
@@ -0,0 +1,23 @@
+Source: monkeysphere
+Section: net
+Priority: extra
+Maintainer: Jameson Graef Rollins <jrollins@finestructure.net>
+Uploaders: Daniel Kahn Gillmor <dkg@fifthhorseman.net>
+Build-Depends: debhelper (>= 7.0), libgnutls-dev (>= 2.4.0)
+Standards-Version: 3.8.0.1
+Homepage: http://web.monkeysphere.info/
+Vcs-Git: git://git.monkeysphere.info/monkeysphere
+Dm-Upload-Allowed: yes
+
+Package: monkeysphere
+Architecture: any
+Depends: openssh-client, gnupg, coreutils (>= 6) | base64, lockfile-progs | procfile, adduser, ${shlibs:Depends}
+Recommends: netcat | socat, ssh-askpass
+Enhances: openssh-client, openssh-server
+Description: use the OpenPGP web of trust to verify ssh connections
+ SSH key-based authentication is tried-and-true, but it lacks a true
+ Public Key Infrastructure for key certification, revocation and
+ expiration. Monkeysphere is a framework that uses the OpenPGP web of
+ trust for these PKI functions. It can be used in both directions:
+ for users to get validated host keys, and for hosts to authenticate
+ users.
diff --git a/packaging/debian/copyright b/packaging/debian/copyright
new file mode 100644
index 0000000..4c25286
--- /dev/null
+++ b/packaging/debian/copyright
@@ -0,0 +1,24 @@
+Format-Specification: http://wiki.debian.org/Proposals/CopyrightFormat?action=recall&rev=226
+Debianized-By: Daniel Kahn Gillmor <dkg@fifthhorseman.net>
+Debianized-Date: Fri Jun 13 10:19:16 EDT 2008
+Original-Source: http://web.monkeysphere.info/download
+
+Files: *
+Copyright: Copyright 2008 Jameson Rollins <jrollins@fifthhorseman.net>,
+ Daniel Kahn Gillmor <dkg@fifthhorseman.net>,
+ Jamie McClelland <jamie@mayfirst.org>,
+ Micah Anderson <micah@riseup.net>,
+ Matthew Goins <mjgoins@openflows.com>,
+ Mike Castleman <mlcastle@mlcastle.net>,
+ Elliot Winard <enw@caveteen.com>,
+ Ross Glover <ross@ross.mayfirst.org>,
+ Greg Lyle <greg@stealthisemail.com>
+
+License: GPL-3+
+ This package is free software; you can redistribute it and/or modify
+ it under the terms of the GNU General Public License as published by
+ the Free Software Foundation; either version 3 of the License, or
+ (at your option) any later version.
+ .
+ On Debian systems, the complete text of the GNU General Public License
+ can be found in file "/usr/share/common-licenses/GPL".
diff --git a/packaging/debian/monkeysphere.dirs b/packaging/debian/monkeysphere.dirs
new file mode 100644
index 0000000..1f9e66b
--- /dev/null
+++ b/packaging/debian/monkeysphere.dirs
@@ -0,0 +1,12 @@
+var/lib/monkeysphere
+var/lib/monkeysphere/authorized_keys
+var/lib/monkeysphere/tmp
+usr/bin
+usr/sbin
+usr/share
+usr/share/monkeysphere
+usr/share/man
+usr/share/man/man1
+usr/share/man/man7
+usr/share/man/man8
+etc/monkeysphere
diff --git a/packaging/debian/monkeysphere.postinst b/packaging/debian/monkeysphere.postinst
new file mode 100755
index 0000000..02d6304
--- /dev/null
+++ b/packaging/debian/monkeysphere.postinst
@@ -0,0 +1,28 @@
+#!/bin/sh -e
+
+# postinst script for monkeysphere
+
+# Author: Jameson Rollins <jrollins@fifthhorseman.net>
+# Copyright 2008
+
+ETC="/etc/monkeysphere"
+VARLIB="/var/lib/monkeysphere"
+
+if ! getent passwd monkeysphere >/dev/null ; then
+ echo "adding monkeysphere user..."
+ adduser --quiet --system --no-create-home --group \
+ --home "$VARLIB" \
+ --shell '/bin/bash' \
+ --gecos 'monkeysphere authentication user,,,' \
+ monkeysphere
+fi
+
+# install host gnupg home directory
+install --owner root --group monkeysphere --mode 750 -d "$VARLIB"/gnupg-host
+# link in the gpg.conf
+ln -sTf "$ETC"/gnupg-host.conf "$VARLIB"/gnupg-host/gpg.conf
+
+# install authentication gnupg home directory
+install --owner monkeysphere --group monkeysphere --mode 700 -d "$VARLIB"/gnupg-authentication
+# link in the gpg.conf
+ln -sTf "$ETC"/gnupg-authentication.conf "$VARLIB"/gnupg-authentication/gpg.conf
diff --git a/packaging/debian/monkeysphere.postrm b/packaging/debian/monkeysphere.postrm
new file mode 100755
index 0000000..8f87ed3
--- /dev/null
+++ b/packaging/debian/monkeysphere.postrm
@@ -0,0 +1,21 @@
+#!/bin/sh -e
+
+# postrm script for monkeysphere
+
+# Author: Jameson Rollins <jrollins@fifthhorseman.net>
+# Copyright 2008
+
+case $1 in
+ purge)
+ rmdir --ignore-fail-on-non-empty /var/lib/monkeysphere || true
+ echo "removing monkeysphere user..."
+ userdel monkeysphere > /dev/null || true
+ ;;
+esac
+
+# dh_installdeb will replace this with shell code automatically
+# generated by other debhelper scripts.
+
+#DEBHELPER#
+
+exit 0
diff --git a/packaging/debian/monkeysphere.preinst b/packaging/debian/monkeysphere.preinst
new file mode 100755
index 0000000..860286b
--- /dev/null
+++ b/packaging/debian/monkeysphere.preinst
@@ -0,0 +1,22 @@
+#!/bin/sh -e
+
+# preinst script for monkeysphere
+
+# Author: Jameson Rollins <jrollins@fifthhorseman.net>
+# Copyright 2008
+
+ETC="/etc/monkeysphere"
+VARLIB="/var/lib/monkeysphere"
+
+# move the gpg.conf files from the GNUPGHOMEs if they're there to
+# /etc, where they will be linked back into the GNUPGHOMEs later
+if [ -f "$VARLIB"/gnupg-host/gpg.conf -a ! -L "$VARLIB"/gnupg-host/gpg.conf ] ; then
+ mv "$VARLIB"/gnupg-host/gpg.conf "$ETC"/gpg-host.conf
+ chown root:root "$ETC"/gpg-host.conf
+ ln -s "$ETC"/gpg-host.conf "$VARLIB"/gnupg-host/gpg.conf
+fi
+if [ -f "$VARLIB"/gnupg-authentication/gpg.conf -a ! -L "$VARLIB"/gnupg-authentication/gpg.conf ] ; then
+ mv "$VARLIB"/gnupg-authentication/gpg.conf "$ETC"/gpg-authentication.conf
+ chown root:root "$ETC"/gpg-authentication.conf
+ ln -s "$ETC"/gpg-authentication.conf "$VARLIB"/gnupg-authentication/gpg.conf
+fi
diff --git a/packaging/debian/rules b/packaging/debian/rules
new file mode 100755
index 0000000..cbe925d
--- /dev/null
+++ b/packaging/debian/rules
@@ -0,0 +1,3 @@
+#!/usr/bin/make -f
+%:
+ dh $@