mupdf:tldr:af1f1

The command mupdf -r ${72} ${filename} would typically be used to open a PDF file with the MuPDF viewer and set the display resolution to 72 DPI (dots per inch). Here's a breakdown of each component:

• mupdf: This is the command to run the MuPDF viewer software.
• -r ${72}: The -r option allows you to specify the display resolution for the PDF. In this case, it sets the resolution to 72 DPI, which is a standard resolution for viewing documents on computers.
• ${72}: The value inside the ${} is a placeholder, which is likely intended to be replaced with an actual number when running the command. In this case, it should be replaced with the desired resolution (e.g., ${300} for 300 DPI).
• ${filename}: Similar to the previous placeholder, ${filename} is typically replaced with the actual name or path of the PDF file you want to open with MuPDF. This allows you to open different PDF files using the same command by simply specifying a different filename.

Overall, the command is a way to open a PDF file with MuPDF while specifying the resolution at which to display the document.