Use of disk space in the Linux system