Commits on Mar 10, 2023

1. Change port separator to semicolon : since it's more standard …

   Kindly suggesting to switch to semicolon character `:` as port separator
   as `[user@]hostname[:port]`.  Current port separator is `^` which is
   less standard -- semicolon is used both in `ssh` and `scp` programs.
   
   For maintaining backward compatibility, similar to the support of legacy
   `/`, the character `^` can still be supported.
   
   Appendix
   --------
   
   A bit of history:
   
    - From what I've been able to understand from Git history, everything
      started in 2008 with the usage of `/` as port separator, implemented
      in [1].
   
    - Five years later, in 2013, This was changed [2] to `#` to fix a
      problem related to `scp`.  Not sure, but a plausible reason for this
      could be a clash with the usage of `/` for directories.  Note that
      the usage of `/` was still allowed as legacy.
   
    - That same year it was changed again [3] to `%` for some reason I have
      not been able to understand.
   
    - Then, in 2014, since `%` is used by IPv6 addresses, this was changed
      [4] to use `^` as port separator -- and this is the current state.
   
   As a comment, `/` is still supported as legacy.
   
   [1]: mkj@d981ff2
   [2]: mkj@3525cab
   [3]: mkj@f98eb58
   [4]: mkj@0c9a643

   

   david-alvarez-rosa committed Mar 10, 2023
   Configuration menu

   • View commit details
   • Copy full SHA for 4bbe568
   • Browse repository at this point

   Copy the full SHA

   4bbe568 View commit details

   Browse the repository at this point in the history