Um usuário de um computador com sistema operacional Linux precisa utilizar um comando para renomear um arquivo em seu diretório. O comando para essa ação é: