У меня есть много файлов, содержащих сериализованные данные php, в которых я должен заменить некоторые строки другой. На хосте linux не установлен ни один php. Проблема заключается в корректировке измененной строки до правильного размера.
Я пытался что-то вроде заменить / поделиться путем к / opt:
sed -re 's~s:([0-9]+):"/share([^"]*)~s:int(\1-2):/opt\2~g' file
но файл результатов неверен: длины - это буквальное выражение int (размер - 2)
Есть идеи?