O servidor de banco de dados da empresa opera com sistema operacional CentOS 7. O comando que pode ser utilizado para o administrador deste servidor saber a quantidade de espaço utilizado em cada sistema de arquivo montado, é: