gettext document https://man7.org/linux/man-pages/man1/gettext.1.html https://man7.org/linux/man-pages/man3/gettext.3.html https://www.gnu.org/software/gettext/ brief demo real use