Em um sistema operacional Linux, pretende-se localizar um arquivo texto no diretório “/home/aluno” e que contenha a string “CORPO DE BOMBEIROS”. Digamos que o cursor já esteja posicionado nesta pasta, qual a sequência de comando mais apropriada para descobrir qual o nome deste arquivo?