原文:How to determine whether a given Linux is 32 bit or 64 bit?