aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKylie McClain <kylie@somas.is>2020-07-08 00:39:01 -0400
committerKylie McClain <kylie@somas.is>2020-07-08 00:39:01 -0400
commit0088abc37680c95e24fdb084db1ad09a4f8fffde (patch)
treebb34116e1fbf80ffd1592e23bf846c1a1c34cb78
parent81427cdfb9c39cc2718f1109193733eb195fd7e1 (diff)
downloadpraxis-0088abc37680c95e24fdb084db1ad09a4f8fffde.tar.gz
praxis-0088abc37680c95e24fdb084db1ad09a4f8fffde.tar.xz
praxis-0088abc37680c95e24fdb084db1ad09a4f8fffde.zip
theory(5): polish "Disambiguation" a little
-rw-r--r--theory.5.adoc6
1 files changed, 3 insertions, 3 deletions
diff --git a/theory.5.adoc b/theory.5.adoc
index f6a6a51..f8f6dd8 100644
--- a/theory.5.adoc
+++ b/theory.5.adoc
@@ -147,12 +147,12 @@ All parts of a package specification are case-sensitive.
[#pkg-disambiguation]
==== Disambiguation
-When used as user input, the only strictly *required* part of a spec is the inclusion of the package
+When used as _user input_, the only strictly required part of a spec is the inclusion of the package
name. If any other part other than the name is omitted, it will be disambiguated in order to
determine what packages can satisfy it.
-If more than one package matches a specification, the package manager *should* prompt the user in
-some fashion to be more specific.
+If more than one package matches a specification, the package manager can either prompt the user in
+some fashion to be more specific, or just error.
[#pkg-action]
=== Action