Tools

Es gibt immer wieder Dinge, die man gerne hätte, aber dann doch selbst basteln muss. Hier landen ein paar davon:

• pngtopdf - mehrseitige, als png eingescannte Dokumente in eine pdf-Datei umwandeln - ohne Qualitätsverlust (dafür braucht man Linux, Java und LaTeX)
• dokuwikibackup - mit diesen Scripten erstelle ich eine Backup-Datei per cron-job.