linux manual https://man.cx https://manpages.debian.org/ https://www.linux.org/docs/ http://man7.org/linux/man-pages/index.html