$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:
1
echo ${errno[10]}
1
ECHILD
BashSupport Pro 是一款支持 errnos** 的 **Zsh 集成开发环境 - 立即试用!