aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorKylie McClain <kylie@somas.is>2020-07-07 08:49:14 -0400
committerKylie McClain <kylie@somas.is>2020-07-07 09:33:53 -0400
commit03cf550c146f2dae017fde166b4a6db4e5bb5e4d (patch)
treefce92d543bf343b14052a1d499dd2ee21b414da0
parentb7424ea3e39f5a9b9850bc4e056b9230326e481b (diff)
downloadpraxis-03cf550c146f2dae017fde166b4a6db4e5bb5e4d.tar.gz
praxis-03cf550c146f2dae017fde166b4a6db4e5bb5e4d.tar.xz
praxis-03cf550c146f2dae017fde166b4a6db4e5bb5e4d.zip
theory-construct-action, theory.sh: be consistent with terminology
-rwxr-xr-xtheory-construct-action.in2
-rw-r--r--theory.sh.in3
2 files changed, 3 insertions, 2 deletions
diff --git a/theory-construct-action.in b/theory-construct-action.in
index 90b5bf3..0ff9386 100755
--- a/theory-construct-action.in
+++ b/theory-construct-action.in
@@ -22,7 +22,7 @@ shift $(( OPTIND - 1 ))
[ "$#" -gt 0 ] || myusage
while [ "$#" -gt 0 ]; do
- is_theory_dir "${1}" || die 2 "'${1}' is not a directory containing an action or library"
+ is_theory_dir "${1}" || die 2 "'${1}' is not a directory containing a package or library"
if "${recurse}" && [ -r "${1}"/libraries ]; then
# TODO(somasis): arguments are not used for anything yet.
diff --git a/theory.sh.in b/theory.sh.in
index 666bca4..1755ecb 100644
--- a/theory.sh.in
+++ b/theory.sh.in
@@ -1,6 +1,7 @@
#!/bin/sh
-# at a bare minimum, a directory is a theory package/library directory if it contains an action or a library.
+# at a bare minimum, a directory is a theory directory, containing either a package or library,
+# if it contains an action or a library.
is_theory_dir() {
[ -d "${1}" ] || die 2 "'${1}' is not a directory"