А есть программа которая работает не через терминале и не через инет(на работе инета нету )
- первое, LibreOffice Draw умеет редактировать PDF-файлы, и затем измененный документ снова экспортировать в PDF. В Гугле много об этом можно чего найти, вот
первое что подвернулось...
- второе, что приходит на ум, конвертировать локально файлы PDF в файлы DOC(DOCX) или ODT. Гугл и на такой запрос вываливает кучу всего... вот, например,
статейка в тему. сразу хочу оговориться, я не проверял описанного в ней скрипта, на что он там способен, не знаю...
- третье, но это уже за деньги, Adobe Acrobat (полная версия) умеет экспортировать PDF практически, если не во все, то по крайней мере в самые популярные форматы
- ну и наконец, Microsoft Word 2016 справляется с этой задачей ничуть не хуже Google docs