Hoi,
Sinds een week of zo heb ik last van een raar probleem: mijn .ssh/config file wordt niet meer goed gelezen. Deze bestaat op dit moment uit het volgende:
als ik nu "ssh madrid" intiep, zoals het vroeger wel werkte, krijg ik:
terwijl "madrid" duidelijk is gebind aan een IP in de configfile.
Als ik de configfile probeer te forceren krijg ik:
Het lijkt dus dat de configfile opeens niet meer goed is? Vaag.. in de man ssh_config staat dan ook:
Sinds een week of zo heb ik last van een raar probleem: mijn .ssh/config file wordt niet meer goed gelezen. Deze bestaat op dit moment uit het volgende:
code:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
| [pdebie@tcw2 pdebie]$ cat .ssh/config
Host tcw?
ForwardAgent=yes
ForwardX11=yes
User=pdebie
Host wing
ForwardAgent=yes
ForwardX11=yes
user=stud224
HostName=XXX.wing.rug.nl
Host madrid
ForwardAgent=yes
ForwardX11=yes
User=frim
HostName=129.125.XX.XX
Port=8001 |
als ik nu "ssh madrid" intiep, zoals het vroeger wel werkte, krijg ik:
code:
1
2
| [pdebie@tcw2 pdebie]$ ssh madrid warning: Connecting to madrid failed: No address associated to the name |
terwijl "madrid" duidelijk is gebind aan een IP in de configfile.
Als ik de configfile probeer te forceren krijg ik:
code:
1
2
3
4
5
| [pdebie@tcw2 pdebie]$ ssh -F .ssh/config madrid warning: Unrecognized configuration parameter 'HostName'. warning: Unrecognized configuration parameter 'HostName'. warning: Failed to parse some variables from config file '.ssh/config'. ssh: FATAL: Failed to read config file ".ssh/config" |
Het lijkt dus dat de configfile opeens niet meer goed is? Vaag.. in de man ssh_config staat dan ook:
en dat lijkt me helemaal goed.. iemand een idee?HostName
Specifies the real host name to log into. This can be used to
specify nicknames or abbreviations for hosts. Default is the
name given on the command line. Numeric IP addresses are also
permitted (both on the command line and in HostName specifica-
tions).