[Bug 271993] www/tomcat9: consider renaming port to www/tomcat90

https://bugs.freebsd.org/bugzilla/show_bug.cgi?id=271993

            Bug ID: 271993
           Summary: www/tomcat9: consider renaming port to www/tomcat90
           Product: Ports & Packages
           Version: Latest
          Hardware: Any
                OS: Any
            Status: New
          Severity: Affects Some People
          Priority: ---
         Component: Individual Port(s)
          Assignee: vvd@FreeBSD.org
          Reporter: michael.osipov@siemens.com
             Flags: maintainer-feedback?(vvd@FreeBSD.org)
          Assignee: vvd@FreeBSD.org

Hi, Tomcat committer here.

I'd like to request the port maintainer to rename this port to www/tomcat90. I
will explain why this makes sense:

* Tomcat follows a major.minor versioning scheme, this means that Tomcat 9.x
and 9.y can live side by side for some time, as it happened with 8.0 and 8.5,
see https://tomcat.apache.org/whichversion.html
* Tomcat 9.0 might likely be superseded with a newer minor version, see
https://www.mail-archive.com/users@tomcat.apache.org/msg141663.html
* Consistent with other Tomcat ports which are 'www/tomcat{major}{minor}' now.
* Deducing the port name from a full version is much easier then:
$ printf '8.5.99\n9.0.100\n' | sed -E -e
's#^([[:digit:]]+)\.([[:digit:]]+).+$#\1\2#'
85
90

To make such change as little disruptive as possible, have the port name
contain both, and modify only the patch version of Tomcat for a port update.

-- 
You are receiving this mail because:
You are the assignee for the bug.