$errnos  –  Mapping of errno to Names

$errnos is a mapping of errno error numbers to human-readable names.

Examples

Print name of error number 10
1
echo ${errno[10]}
Output:
1
ECHILD
BashSupport Pro is a Zsh IDE with support for $errnostry it now!
© 2020–2024 Joachim Ansorg
Imprint
Privacy Policy
Legal