Um usuário reclamou a um operador do sistema Linux que um disco que ele sempre usava (/dev/disco1) não estava montado no diretório em que deveria estar (/lib).

Para corrigir esse problema, como administrador do sistema, um usuário cujo login não é root, embora participe do grupo root, deve dar o seguinte comando: