Adjust PDF file margin for printing
The following set of tools can cooperate to achieve the said purpose, which allows me to read papers with an appropriate font size.
-
Get the screen resolution (unit is pixel per inch) by calling
xdpyinfo:xdpyinfo | grep resolutionresolution: 82x82 dots per inch -
Open the PDF file in Okular and set the zoom percentage to 100%.
-
Use the screen measuring tool
krulerto get the desired margin size in pixels. -
Convert the margin size from pixel to bp (i.e. big point, 1/72 inch).
-
Call
pdfcropto modify the margin. On Debian,pdfcropis included in the packagetexlive-extra-utils. The specified margin size has the unit bp and can be either positive or negative, which is with respect to the effective text area without margin.# Specify a single margin size for all page sides. pdfcrop --margins <all-sides> input.pdf output.pdf # Specify same left and right, top and bottom margin size values. pdfcrop --margins '<left/right> <top/bottom>' input # Specify margin size values for four page sides indpendently. pdfcrop --margins '<left> <top> <right> <bottom>' input.pdf output.pdf