renomeando arquivos com conversão de hex

Question

Eu quero renomear os arquivos abaixo, de modo que os primeiros 4 caracteres e os últimos 7 caracteres sejam removidos, os caracteres restantes sejam convertidos em decimal e renomeados.

Exemplo se o nome do arquivo for 0030002345678.txt , deve ser renomeado para 00.txt (removendo os caracteres e convertendo para hexadecimal).

Se for 00300A2345678.txt , deve ser renomeado para 10.txt (após conversão de hexadecimal de '0A'

    

Answer 1

E sobre isso:

ls | python -c 'import sys, os; print len([os.system("mv %s %02i.%s" % (name[:-1], int(name.split(".")[0][4:-7], 16), name.split(".")[1])) for name in sys.stdin])'

Assume que os arquivos a serem renomeados são exatamente aqueles que ls imprimiria; fornecer algo mais relevante, se este não for o caso.