Конкретно для приведенных примеров (ну и с некоторым простым обобщением) подошла бы такая команда:
rename -n 's/([1-9]\d*)/$1+100/e' *.txt
где утилита rename из пакета rename (или можно так же позвать prename из пакета perl, синтаксис такой же). Названия пакетов из Debian, наверняка в других дистрибутивах rename/prename тоже есть.
