O comando Linux usado para trocar o nome de um arquivo ou diretório é: