From 3726f3dd674e74258c5f47b00f3f6f15f4037175 Mon Sep 17 00:00:00 2001 From: Jameson Graef Rollins Date: Sat, 15 Nov 2008 14:43:22 -0500 Subject: move debian packaging to the packaging/ subdirectory. --- packaging/debian/changelog | 1 + packaging/debian/compat | 1 + packaging/debian/control | 23 +++++++++++++++++++++++ packaging/debian/copyright | 24 ++++++++++++++++++++++++ packaging/debian/monkeysphere.dirs | 12 ++++++++++++ packaging/debian/monkeysphere.postinst | 28 ++++++++++++++++++++++++++++ packaging/debian/monkeysphere.postrm | 21 +++++++++++++++++++++ packaging/debian/monkeysphere.preinst | 22 ++++++++++++++++++++++ packaging/debian/rules | 3 +++ 9 files changed, 135 insertions(+) create mode 120000 packaging/debian/changelog create mode 100644 packaging/debian/compat create mode 100644 packaging/debian/control create mode 100644 packaging/debian/copyright create mode 100644 packaging/debian/monkeysphere.dirs create mode 100755 packaging/debian/monkeysphere.postinst create mode 100755 packaging/debian/monkeysphere.postrm create mode 100755 packaging/debian/monkeysphere.preinst create mode 100755 packaging/debian/rules (limited to 'packaging') 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 +Uploaders: Daniel Kahn Gillmor +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 +Debianized-Date: Fri Jun 13 10:19:16 EDT 2008 +Original-Source: http://web.monkeysphere.info/download + +Files: * +Copyright: Copyright 2008 Jameson Rollins , + Daniel Kahn Gillmor , + Jamie McClelland , + Micah Anderson , + Matthew Goins , + Mike Castleman , + Elliot Winard , + Ross Glover , + Greg Lyle + +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 +# 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 +# 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 +# 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 $@ -- cgit v1.2.3