src/Pure/General/ssh.scala

   OpenSSHConfig, UserInfo, Channel => JSch_Channel, ChannelExec, ChannelSftp, SftpATTRS}
 
 
 object SSH
 {
+  /* user@host syntax */
+
+  object User_Host
+  {
+    val Pattern = "^([^@]+)@(.+)$".r
+
+    def parse(s: String): (String, String) =
+      s match {
+        case Pattern(user, host) => (user, host)
+        case _ => ("", s)
+      }
+
+    def unapplySeq(s: String): Option[List[String]] =
+    {
+      val (user, host) = parse(s)
+      Some(List(user, host))
+    }
+  }
+
+
   /* init */
 
   def init(options: Options): SSH =
   {
     val config_dir = Path.explode(options.string("ssh_config_dir"))

   }
 }
 
 class SSH private(val options: Options, val jsch: JSch)
 {
-  def open_session(host: String, port: Int = 22, user: String = null): SSH.Session =
-  {
-    val session = jsch.getSession(user, host, port)
+  def open_session(host: String, port: Int = 22, user: String = ""): SSH.Session =
+  {
+    val session = jsch.getSession(if (user == "") null else user, host, port)
 
     session.setUserInfo(SSH.No_User_Info)
     session.setConfig("MaxAuthTries", "3")
 
     if (options.bool("ssh_compression")) {