Bob Proulx <[email protected]> writes: >> That's what makes some users think that it is a typo. >> See https://list.orgmode.org/orgmode/[email protected]/ > > git clone https://https.git.savannah.nongnu.org/git/org-mode.git > > I mean there is already "git" in a zillion places in the line! I > figured people would be desensitized to it. :-}
Hmm. Honestly, I did not even notice that much until you pointed. Maybe simply because "git" are not one right another, while "https" is. That said, I do not have strong feeling about the naming here. Just wanted to point out that it is confusing to some people. > I am torn. One of the complaints about the longer names is that the > entire hostname gets to be quite long. I want to avoid thrashing > everyone changing names too often. I want to avoid needing to support > multiple parallel services that are almost the same but not. Four of > those above are web server configurations (currently Nginx) and we > make heavy use of include files to avoid the copy-paste anti-pattern > trying to keep the configuration DRY but that also creates a complex > and confusing spaghetti configuration. After having exposed the > current URLs I would hate to kill them off changing to a new naming > strategy. I would hate to keep both of them due to the configuration > complexity that produces. > > Aarrrgh! I am wondering what exactly makes those includes complex. Is it the fact that there will be many small files all over the place? -- Ihor Radchenko // yantar92, Org mode maintainer, Learn more about Org mode at <https://orgmode.org/>. Support Org development at <https://liberapay.com/org-mode>, or support my work at <https://liberapay.com/yantar92>
