Neste caso é muito simples. Basta usar o seguinte comando:
rm -i *Times*Events.html
Não há problema se você tiver mais arquivos como '* Times * Events.html' no mesmo diretório; Por causa do interruptor -i
(para interativo ) você é perguntado toda vez se realmente quiser removê-lo.
Outra maneira é alternar entre os idiomas árabe e inglês quando você está escrevendo no terminal.