use ssh url syntax like git

Dependencies

• [2] SZWBLWZ4 Reading ~/.ssh/config
• [3] SXEYMYF7 Fixing the bad changes in history (unfortunately, by rebooting).
• [4] UDHP4ZVB Fixing SSH asynchronicity issues
• [5] KTTKF3RW Locking stderr and the progress bar in SSH
• [6] FE5ES6Q4 Stop pushing/pulling if the remote returns an error

Change contents

• replacement in pijul/src/remote/ssh.rs at line 35
  [3.26064]→[3.26064:26176](∅→∅)
  − r#"(ssh://)?((?P<user>[^@]+)@)?((?P<host>(\[([^\]]+)\])|([^:/]+)))((:(?P<port>\d+)/)|:|/)(?P<path>.+)"#
  [3.26064]

  [3.26176]
  + r#"(ssh://)?((?P<user>[^@]+)@)?((?P<host>(\[([^\]]+)\])|([^:/]+)))((:(?P<port>\d+)(?P<path0>(/.+)))|(:(?P<path1>.+))|(?P<path2>(/.+)))"#
• replacement in pijul/src/remote/ssh.rs at line 64
  [3.27295]→[2.396:447](∅→∅)
  − let path = cap.name("path").unwrap().as_str();
  [3.27295]

  [2.447]
  + let path = {

  + let p = cap.name("path0").unwrap_or_else(

  + || cap.name("path1").unwrap_or_else(

  + || cap.name("path2").unwrap()

  + )).as_str();

  + if p.starts_with("/~") {

  + p.split_at(1).1

  + }

  + else {

  + p

  + }

  + };