O problema é que simplesmente digitar o nome do arquivo não age nele, ou abrir uma lista de opções como "delete" ou "rename". Isso é um palpite bastante razoável, mas não funciona dessa maneira. Você precisa inserir um comando e, em seguida, fornecer um nome de arquivo. Neste caso, o comando que você quer é rm
, então, no seu prompt após mudar para o diretório pics, você digitaria rm ds0718.htm
.
Eu recomendaria passar alguns minutos olhando os guias básicos de comando do Linux / Unix, como este ou este .