$errnos
–
Mapping of errno to Names
$errnos is a mapping of errno error numbers to human-readable names.
Links
Examples
- Print name of error number 10
- Output:
1echo ${errno[10]}1ECHILD
BashSupport Pro ist eine Zsh IDE mit Unterstützung für $errnos - probieren Sie es jetzt aus!