Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| quickcommands [2017/07/28 10:32] – gevatter | quickcommands [2017/08/07 07:15] (current) – gevatter | ||
|---|---|---|---|
| Line 35: | Line 35: | ||
| convert out-000* concatenated.pdf | convert out-000* concatenated.pdf | ||
| gs -sDEVICE=pdfwrite -dCompatibilityLevel=1.4 -dPDFSETTINGS=/ | gs -sDEVICE=pdfwrite -dCompatibilityLevel=1.4 -dPDFSETTINGS=/ | ||
| + | |||
| + | git config --global format.pretty oneline | ||
| + | |||
| + | pkill -SIGUSR1 puppet | ||
