diff options
author | Jameson Graef Rollins <jrollins@finestructure.net> | 2008-11-15 14:43:22 -0500 |
---|---|---|
committer | Jameson Graef Rollins <jrollins@finestructure.net> | 2008-11-15 14:43:22 -0500 |
commit | 3726f3dd674e74258c5f47b00f3f6f15f4037175 (patch) | |
tree | 985b776adb9da469c7bb1fc29efdffbf7ee5d661 /packaging/debian | |
parent | d6298194a23adc09731b34568455a3598b29bea1 (diff) |
move debian packaging to the packaging/ subdirectory.
Diffstat (limited to 'packaging/debian')
l--------- | packaging/debian/changelog | 1 | ||||
-rw-r--r-- | packaging/debian/compat | 1 | ||||
-rw-r--r-- | packaging/debian/control | 23 | ||||
-rw-r--r-- | packaging/debian/copyright | 24 | ||||
-rw-r--r-- | packaging/debian/monkeysphere.dirs | 12 | ||||
-rwxr-xr-x | packaging/debian/monkeysphere.postinst | 28 | ||||
-rwxr-xr-x | packaging/debian/monkeysphere.postrm | 21 | ||||
-rwxr-xr-x | packaging/debian/monkeysphere.preinst | 22 | ||||
-rwxr-xr-x | packaging/debian/rules | 3 |
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 $@ |