From e3e9d172b41e1cff71aed2de2c4a7007f233c3e7 Mon Sep 17 00:00:00 2001 From: Managor <42655600+Managor@users.noreply.github.com> Date: Wed, 14 May 2025 14:11:33 +0300 Subject: [PATCH] time, times: refer to each other (#16486) --- pages/common/time.md | 1 + pages/common/times.md | 1 + 2 files changed, 2 insertions(+) diff --git a/pages/common/time.md b/pages/common/time.md index af8c596aa1..041ba39acd 100644 --- a/pages/common/time.md +++ b/pages/common/time.md @@ -2,6 +2,7 @@ > Measure how long a command took to run. > Note: `time` can either exist as a shell builtin, a standalone program or both. +> See also: `times`. > More information: . - Run the `command` and print the time measurements to `stdout`: diff --git a/pages/common/times.md b/pages/common/times.md index dc79b9fdde..93447c165a 100644 --- a/pages/common/times.md +++ b/pages/common/times.md @@ -1,6 +1,7 @@ # times > Print the cumulative CPU usage time of the current shell. +> See also: `time`. > More information: . - Print CPU usage. First line is current shell CPU usage for User and System. Second is all child processes: