diff options
author | Boris Kolpackov <boris@codesynthesis.com> | 2018-07-13 16:05:10 +0200 |
---|---|---|
committer | Boris Kolpackov <boris@codesynthesis.com> | 2018-07-13 16:05:10 +0200 |
commit | 3564bb3da390f2ba5ca85e8fa8a507b26afcf2ae (patch) | |
tree | 400d423c5223102a0671e841b983905586edbba3 | |
parent | 5b2b72ed08f514444f05e7b42556ae096879f2e8 (diff) |
Update recommendations on package naming with regard to dot
-rw-r--r-- | doc/manual.cli | 10 |
1 files changed, 7 insertions, 3 deletions
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 |