On Jan 16, 2020, at 12:06 PM, Lamar Owen lowen@pari.edu wrote:
...or maybe even 8.1.1911 (which is part of the name of the DVD ISO file), but officially it's CentOS 8 (1911).
$ lsb_release -a LSB Version: :core-4.1-amd64:core-4.1-noarch Distributor ID: CentOS Description: CentOS Linux release 8.1.1911 (Core) Release: 8.1.1911 Codename: Core