1999-06-15 20:14:04 +00:00
|
|
|
*** make-ssh-known-hosts.pl.in.orig Wed May 12 20:18:51 1999
|
|
|
|
--- make-ssh-known-hosts.pl.in Sun Jun 6 02:30:08 1999
|
1995-10-07 01:19:27 +00:00
|
|
|
***************
|
1999-06-15 20:14:04 +00:00
|
|
|
*** 98,104 ****
|
1996-02-17 15:13:47 +00:00
|
|
|
$debug = 5;
|
1995-10-07 01:19:27 +00:00
|
|
|
$defserver = '';
|
|
|
|
$bell='\a';
|
|
|
|
! $public_key = '/etc/ssh_host_key.pub';
|
1996-02-17 15:13:47 +00:00
|
|
|
$private_ssh_known_hosts = "/tmp/ssh_known_hosts$$";
|
|
|
|
$timeout = 60;
|
|
|
|
$ping_timeout = 3;
|
1999-06-15 20:14:04 +00:00
|
|
|
--- 98,104 ----
|
1996-02-17 15:13:47 +00:00
|
|
|
$debug = 5;
|
1995-10-07 01:19:27 +00:00
|
|
|
$defserver = '';
|
|
|
|
$bell='\a';
|
|
|
|
! $public_key = '@ETCDIR@/ssh_host_key.pub';
|
1996-02-17 15:13:47 +00:00
|
|
|
$private_ssh_known_hosts = "/tmp/ssh_known_hosts$$";
|
|
|
|
$timeout = 60;
|
|
|
|
$ping_timeout = 3;
|