I have a directory full of files with names in this format (with numbers as the start of each filename):
102_file.txt
104_list.txt
242_another_file.txt
I would like to rename them as follows (i.e. removing the numbers):
file.txt
list.txt
another_file.txt
Can anyone suggest a way to do this (presumably from the terminal)?