#!/usr/bin/env python # bitmap.py v1.0 (c) 2009 Silas S. Brown. License: GPL def getVal(prompt,default): r=raw_input(prompt+"? (default "+str(default)+") : ") if not r: return default return float(r) xpixels = getVal("Screen pixel width",640) ypixels = getVal("Screen pixel height",480) heightmm = getVal("Screen physical height mm",93) # 6.1" scale = getVal("Extra magnification factor",2) heightmm = heightmm*1.0/scale # use the small-paper trick (do not use SeaMonkey's "scale"; it doesn't always work) widthmm = xpixels*heightmm/ypixels ; dpi = ypixels*25.4/heightmm # this assumes square pixels # Try to use the smallest paper size possible (saves CPU processing whitespace below), but don't go below A5 because A6 isn't always available paperH, paperW, paperNumber = 210,148,5 while paperH n.png && mv n.png $N && echo "+'"'+r"\\noindent \\includegraphics{$N}\\newpage"+'"'+r"; done; echo '\end{document}') > enlarged.tex && pdflatex enlarged.tex && mv enlarged.pdf .. && cd .. && rm -rf tmp0 && xpdf enlarged.pdf").replace("\t","\\t").replace("\n","\\n").replace("\b","\\b") % globals())