linux怎么判断文件类型