Sitemap
The shell may override 'time' as seen in man time(1). Use 'command time ..' for that one.
ShellCheck is a static analysis tool for shell scripts. This page is part of its documentation.