Re: Dynamically changing remote servers list

[Ole Tange]

On Wed, Aug 27, 2014 at 8:49 PM, Douglas A. Augusto <daaugusto@gmail.com> wrote:
> On 27/08/2014 at 08:38,

> And below a version that also preserves the server options if any (the full
> server entry), such as '8/server.net':

You should test that it works with all the supported styles of
sshlogins. From the man page:

  server.example.com
  username@server2.example.com
  8/my-8-core-server.example.com
  2/my_other_username@my-dualcore.example.net
  # This server has SSH running on port 2222
  ssh -p 2222 server.example.net
  4/ssh -p 2222 quadserver.example.net
  # Use a different ssh program
  myssh -p 2222 -l myusername hexacpu.example.net
  # Use a different ssh program with default number of cores
  //usr/local/bin/myssh -p 2222 -l myusername hexacpu.example.net
  # Use a different ssh program with 6 cores
  6//usr/local/bin/myssh -p 2222 -l myusername hexacpu.example.net
  # Assume 16 cores on the local computer
  16/:

/Ole