]> git.tue.mpg.de Git - adu.git/commitdiff
manual: Remove pointless "time" prefix.
authorAndre Noll <maan@tuebingen.mpg.de>
Thu, 2 Jun 2016 12:12:51 +0000 (14:12 +0200)
committerAndre Noll <maan@tuebingen.mpg.de>
Fri, 24 Jun 2016 10:55:32 +0000 (12:55 +0200)
The stated example command works, but since this is the manual for adu,
let's focus on adu features here.

adu.1.inc

index b8be2e178af076472aa9e5620cf7d5ad2fb7ead5..fe48d4e5297af0a0106ce15f5d898de7a1d84c6d 100644 (file)
--- a/adu.1.inc
+++ b/adu.1.inc
@@ -18,7 +18,7 @@ the user-summary:
 The command below prints the five largest directories of the users root and
 mysql:
 .IP
-       $ time adu --select --database-dir /root/adu-var --select-options '--select-mode user_list --user root --user mysql --limit 5'
+       $ adu --select --database-dir /root/adu-var --select-options '--select-mode user_list --user root --user mysql --limit 5'
 
 [SEE ALSO]
 .BR du (1)