Mike Gerwitz

Activist for User Freedom

aboutsummaryrefslogtreecommitdiffstats
path: root/bin
diff options
context:
space:
mode:
authorMike Gerwitz <mike.gerwitz@rtspecialty.com>2018-12-03 16:46:06 -0500
committerMike Gerwitz <mike.gerwitz@rtspecialty.com>2018-12-03 16:46:06 -0500
commitcd5440b8da8e3fbca6ecc48c334b2b126cef5958 (patch)
tree6d1323e5fc99329c3ed98a00d37c5a0a07bbd19d /bin
parent079d1dcfafd3eb75156bc513db81c623b66bc41b (diff)
downloadtame-cd5440b8da8e3fbca6ecc48c334b2b126cef5958.tar.gz
tame-cd5440b8da8e3fbca6ecc48c334b2b126cef5958.tar.bz2
tame-cd5440b8da8e3fbca6ecc48c334b2b126cef5958.zip
tamed: Clarify usage output shell example
* bin/tamed (usage): Clarify killing when run on a shell.
Diffstat (limited to 'bin')
-rwxr-xr-xbin/tamed4
1 files changed, 2 insertions, 2 deletions
diff --git a/bin/tamed b/bin/tamed
index d313612..a19db4d 100755
--- a/bin/tamed
+++ b/bin/tamed
@@ -226,8 +226,8 @@ inactive for at least TAMED_STALL_SECONDS (default 1), unless
the process identified by TAMED_SPAWNER_PID is still running.
For example, a build script may wish to set TAMED_SPAWNER_PID
to the process id of make itself. It defaults to the actual
-parent process id (PPID), so tamed will never kill itself if
-run manually on a shell.
+parent process id (PPID), so tamed will not kill itself if
+run manually on a shell (unless the shell exits first).
Options:
--help show this message