ifconfig address with a port number?
 

Heya, folks.

I'm trying to grok a problem I'm having with an embedded machine. I'm pretty sure I can track down the larger problem, but I came across a usage of ifconfig that I don't understand, and I'm pretty sure this is the command that is failing. Has anyone seen this usage, and, if so, care to explain it to me?

The command is:
ifconfig eth0 192.168.78.20:9134

I understand how ifconfig works. What I don't understand is the :9134. I can't see anything in the docs about what this means. I know in most contexts it's a port number, but what does it do when bringing up a network interface? Does it limit it to only using port 9134?

Also, the guys who rolled this embedded machine run gdbserver on port 9134, so I'm sure that's related, but I'm not sure how.

Sorry if this has been posted before. I'm really not sure how to search for this, even on google.

I've never heard of that either... it could be a mistake. Is the ifconfig command in your path a wrapper script or something?