new post: command to get gnu-linux distro name