It is sometimes helpful to have files named by their 'run number' if it exists. This can make it easier to correlate with observing logs for instance. This script is meant to help with that, assuming that you have previously run fixhead on the files. and that run numbers have been located. It does nothing if it cannot find the run number
| file1, file2 | --- | are individual files. |
| list1, list2 | --- | are ascii lists of files (flagged by @). |
renumber searches out record numbers of files and then changes the name to r####.sdf where #### is the number. It will not rename to any file which already exists.
The script will generate files called 'junkzzz' and 'junkzzz.log'
Author: T.R. Marsh
Created: 14 January 2001
Revised: 08 December 2005