From 3564bb3da390f2ba5ca85e8fa8a507b26afcf2ae Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Fri, 13 Jul 2018 16:05:10 +0200 Subject: Update recommendations on package naming with regard to dot --- doc/manual.cli | 10 +++++++--- 1 file changed, 7 insertions(+), 3 deletions(-) (limited to 'doc') diff --git a/doc/manual.cli b/doc/manual.cli index ccd1498..e760cd9 100644 --- a/doc/manual.cli +++ b/doc/manual.cli @@ -42,9 +42,13 @@ lpt1 lpt2 lpt3 lpt4 lpt5 lpt6 lpt7 lpt8 lpt9 || -The use of dot (\c{.}) and plus (\c{+}) characters in package names is -discouraged. \N{Pluses are used in URL encoding and dots normally separate the -name from its extension/type which, conceptually, package names do not have.} +The use of the plus (\c{+}) character in package names is discouraged. +\N{Pluses are used in URL encoding which makes specifying packages that +contain pluses in URLs cumbersome.} + +The use of the dot (\c{.}) character in package names is discouraged except +for distinguishing the implementations of the same functionality for different +languages. \N{For example, \c{libfoo} and \c{libfoo.bash}.} Package name comparison is case-insensitive but the original case must be preserved for display, in file names, etc. \N{The reason for case-insensitive -- cgit v1.1