Re: bash espansione variabile

2018-06-11 Per discussione Davide Prina
On 11/06/2018 18:39, Gollum1 wrote: Il 11 giugno 2018 18:23:39 CEST, iclam006 ha scritto: Stavo cercandodi separare le pagine di un file .pdf, hai provato con pdftk? confermo che pdftk รจ veramente potente e facile da usare (una volta imparato come funziona)... peccato che da testing lo

Re: bash espansione variabile

2018-06-11 Per discussione Gollum1
Il 11 giugno 2018 18:23:39 CEST, "iclam...@virgilio.it" ha scritto: >Stavo cercandodi separare le pagine di un file .pdf, >con questa riga funziona benissimo parte dalla pagina data >estraei file e li nomina in sequenza da 80254 a 80282 > >$ pdfseparate -f 254 -l 282 sorgente.pdf

bash espansione variabile

2018-06-11 Per discussione iclam...@virgilio.it
Stavo cercandodi separare le pagine di un file .pdf, con questa riga funziona benissimo parte dalla pagina data estraei file e li nomina in sequenza da 80254 a 80282 $ pdfseparate -f 254 -l 282 sorgente.pdf destinazione_80%d.pdf genera i files da destinazione_80254.pdf a destinazione_80282.pdf