linux系统磁盘总大小是不是要把每个分区的大小加起来