41
+ GnuTLS 3.3 https://www.gnutls.org/
42
(but not 3.6.0 or later, until 3.6.6, which works)
43
+ Avahi 0.6.16 https://www.avahi.org/
41
+ GnuTLS 3.3 http://www.gnutls.org/
42
+ Avahi 0.6.16 http://www.avahi.org/
44
43
+ Python 2.7 https://www.python.org/
45
+ dbus-python 0.82.4 https://dbus.freedesktop.org/doc/dbus-python/
46
+ PyGObject 3.8 https://wiki.gnome.org/Projects/PyGObject
47
+ pkg-config https://www.freedesktop.org/wiki/Software/pkg-config/
44
+ dbus-python 0.82.4 http://dbus.freedesktop.org/doc/dbus-python/
45
+ PyGObject 2.14.2 https://developer.gnome.org/pygobject/
46
+ pkg-config http://www.freedesktop.org/wiki/Software/pkg-config/
48
47
+ Urwid 1.0.1 http://urwid.org/
49
48
(Only needed by the "mandos-monitor" tool.)
53
52
+ ssh-keyscan from OpenSSH http://www.openssh.com/
56
avahi-daemon python python-dbus python-gi python-urwid pkg-config
55
avahi-daemon python python-avahi python-dbus python-gobject
56
python-urwid pkg-config fping ssh-client
60
+ GNU C Library 2.17 https://gnu.org/software/libc/
61
+ GnuTLS 3.3 https://www.gnutls.org/
62
(but not 3.6.0 or later, until 3.6.6 which works)
63
+ Avahi 0.6.16 https://www.avahi.org/
59
+ initramfs-tools 0.85i
60
https://tracker.debian.org/pkg/initramfs-tools
61
+ GnuTLS 3.3 http://www.gnutls.org/
62
+ Avahi 0.6.16 http://www.avahi.org/
64
63
+ GnuPG 1.4.9 https://www.gnupg.org/
65
64
+ GPGME 1.1.6 https://www.gnupg.org/related_software/gpgme/
66
+ pkg-config https://www.freedesktop.org/wiki/Software/pkg-config/
67
+ libnl-route 3 https://www.infradead.org/~tgr/libnl/
68
+ GLib 2.40 http://www.gtk.org/
71
+ initramfs-tools 0.85i
72
https://tracker.debian.org/pkg/initramfs-tools
74
http://www.kernel.org/pub/linux/utils/boot/dracut/dracut.html
65
+ pkg-config http://www.freedesktop.org/wiki/Software/pkg-config/
76
67
Strongly recommended:
77
68
+ OpenSSH http://www.openssh.com/
80
initramfs-tools dracut libgnutls-dev gnutls-bin libavahi-core-dev
81
gnupg libgpgme11-dev pkg-config ssh libnl-route-3-dev
71
initramfs-tools libgnutls-dev libavahi-core-dev gnupg
72
libgpgme11-dev pkg-config ssh
84
74
* Installing the Mandos server
133
123
# /usr/lib/mandos/plugins.d/mandos-client \
134
124
--pubkey=/etc/keys/mandos/pubkey.txt \
135
--seckey=/etc/keys/mandos/seckey.txt \
136
--tls-privkey=/etc/keys/mandos/tls-privkey.pem \
137
--tls-pubkey=/etc/keys/mandos/tls-pubkey.pem; echo
125
--seckey=/etc/keys/mandos/seckey.txt; echo
139
127
This command should retrieve the password from the server,
140
128
decrypt it, and output it to standard output.