I have a directory which contains a number of subdirectories with names on the format
dir.##. The prefix is always the same, and the suffix is 1-3 digits in a strictly incrementing sequence. Thus, something similar to:
dir.0 dir.1 dir.2 dir.3 ... dir.9 dir.10 dir.11 ... dir.298 dir.299 dir.300
First, I want to delete the first few such directories. This is trivial.
Then, I want to rename all subsequent directories to shift the numerical suffixes such that e.g.
dir.3, etc. That is, shift each suffix (treated as a number) by a given, constant offset.
How do I perform such a rename operation without renaming each directory separately and manually?
I'm okay with using a separate tool for it, but it would be nice if I can do it all in bash without "exotic" software.