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:
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.