[ "GNU Linux"=="LINUX" ] ; echo $?