diff options
Diffstat (limited to 'src/subcommands/m/ssh-proxycommand')
| -rw-r--r--[-rwxr-xr-x] | src/subcommands/m/ssh-proxycommand | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/src/subcommands/m/ssh-proxycommand b/src/subcommands/m/ssh-proxycommand index a609199..56a266e 100755..100644 --- a/src/subcommands/m/ssh-proxycommand +++ b/src/subcommands/m/ssh-proxycommand @@ -1,12 +1,14 @@ -#!/usr/bin/env bash +# -*-shell-script-*- +# This should be sourced by bash (though we welcome changes to make it POSIX sh compliant) # monkeysphere-ssh-proxycommand: MonkeySphere ssh ProxyCommand hook # # The monkeysphere scripts are written by: -# Jameson Rollins <jrollins@fifthhorseman.net> +# Jameson Rollins <jrollins@finestructure.net> +# Daniel Kahn Gillmor <dkg@fifthhorseman.net> # -# They are Copyright 2008, and are all released under the GPL, version 3 -# or later. +# They are Copyright 2008-2009, and are all released under the GPL, +# version 3 or later. # This is meant to be run as an ssh ProxyCommand to initiate a # monkeysphere known_hosts update before an ssh connection to host is |