From c71fa871b97700d696c5222201405ab681f0b4e9 Mon Sep 17 00:00:00 2001 From: Jameson Graef Rollins Date: Fri, 20 Feb 2009 18:09:37 -0500 Subject: [PATCH] Add "true" to prerm script so that lintian will stop complaining that the script is empty. also small doc tweaks. --- packaging/debian/monkeysphere.prerm | 2 ++ website/doc.mdwn | 4 ++-- website/getting-started-user.mdwn | 2 +- 3 files changed, 5 insertions(+), 3 deletions(-) diff --git a/packaging/debian/monkeysphere.prerm b/packaging/debian/monkeysphere.prerm index 1fb2636..5835f53 100755 --- a/packaging/debian/monkeysphere.prerm +++ b/packaging/debian/monkeysphere.prerm @@ -5,6 +5,8 @@ # Author: Jameson Rollins # Copyright 2008-2009 +true + # dh_installdeb will replace this with shell code automatically # generated by other debhelper scripts. diff --git a/website/doc.mdwn b/website/doc.mdwn index 85d619e..47b173a 100644 --- a/website/doc.mdwn +++ b/website/doc.mdwn @@ -12,11 +12,11 @@ * [Advanced Monkeysphere usage](/advanced-user) * [Signing host keys](/signing-host-keys) - * [Understandingn trust models](/trust-models) + * [Understanding trust models](/trust-models) ## Under the hood ## - * [Developing the monkeysphere](/community) + * [Developing the Monkeysphere](/community) * [Technical details](/technical-details) ## References ## diff --git a/website/getting-started-user.mdwn b/website/getting-started-user.mdwn index 46f9015..9e2be26 100644 --- a/website/getting-started-user.mdwn +++ b/website/getting-started-user.mdwn @@ -36,7 +36,7 @@ to the "Host *" section of your `~/.ssh/config` file: ProxyCommand monkeysphere ssh-proxycommand %h %p The "Host *" section specifies what ssh options to use for all -connections. If you don't already have a "Host *" line, you can add it +connections. If you don't already have a "Host \*" line, you can add it by entering: Host * -- 2.25.1