Жизнь в консоли — Как вырезать страницы из djvu-файла

Возникла задача разрезать большой djvu-файл (208 с.) на несколько маленьких (сетевой принтер отказывался распечатывать избранные страницы из этого файла, зависая). Задача легко решается без применения манипулятора типа "мышь".


Для начала установил пакет djvulibre:

1	sudo apt-get install djvulibre

Нашёл во “всемирной паутине” подходящий скрипт, совсем коротенький (я его чуток подправил):

1 2 3 4 5 6 7 8

# Создаёт копию исходного файла, # затем удаляет в ней все страницы, кроме 31-60 from=31; to=60; if=your_file.djvu of=”${if%.*}.$from-$to.djvu” cp “$if” “$of” pages=$(djvused -e ‘n’ “$of”) for ((i=$pages; i>$to; i—)) ;do djvm -delete “$of” $i ; done for ((i=1; i<$from; i++)) ;do djvm -delete “$of” 1 ; done

Спасибо автору скрипта - ferer

1

ddjvu -format=pdf -quality=100 file.djvu file.pdf