Archive for July 2018

Alter pdf file with Gimp

Posted on July 24, 2018, 4:14 pm, by admin, under gimp.

gimp document.pdf 1. click ‘Select All’ and open and edit it 2. When you are about to save, gimp can’t save multipages pdf directly. You’ll need to use an intermediate file format 3. Install ImageMagick sudo apt-get install imagemagick 4. Save in Gimp File -> Export -> document.mng 5. Export to pdf in a command […]

No Comments | Read the rest of this entry »

Rename files in folder

Posted on July 3, 2018, 10:37 am, by admin, under bash.

for i in *.png; do mv "$i" "${i/.png/t.png}"; done

No Comments | Read the rest of this entry »