Non riesco a cambiare le estensioni dei file

[bl4ckd0g]

Improvvisamente, quando faccio "rinomina" e provo a cambiare l'estensione di un file (capita spesso che da bozze .html passo poi al .php) il comando viene ignorato.

Credo sia legato a smanettamenti fatti in console seguendo questa guida per tentare di risolvere il problema con la tastiera e Textmate (risolto poi con un update dell'editor).

Da aggiungere che ora l'icona-thumbnail in Finder di molti file non si vede: è sparita l'icona dei progetti Textmate, di alcuni .psd, di vari .png

Ma che diavolo è?

[VICIUS]

Sei sicuro che l'estensione non sia nascosta e quello che stai modificando sia in realtà parte del nome? Controlla da terminale quale è il vero nome del file.

[bl4ckd0g]

Sì, ho sempre configurato l'estensione visibile... comunque per qualche ragione ora funziona di nuovo, così come sono ricomparsi i micro-thumbnail in Finder io non ho fatto niente, se non qualche riavvio di servizio.