diff options
| author | Jameson Graef Rollins <jrollins@finestructure.net> | 2009-01-31 20:12:56 -0500 |
|---|---|---|
| committer | Jameson Graef Rollins <jrollins@finestructure.net> | 2009-01-31 20:12:56 -0500 |
| commit | e4c566d5a1dd25d87d07dac1459a395321b9a5ef (patch) | |
| tree | 315e424cd74ac1ba397d9cbc08e77d47b52e3fc3 /src/subcommands/m/ssh-proxycommand | |
| parent | 585b1c823e7b72f610fb23aeb4fc09f0287a0bdb (diff) | |
| parent | 8001b4523c665ee7d9ded64cbdb7081b023b75c1 (diff) | |
Merge commit 'dkg/master'
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 |