First of all, thanks for your work! These scripts are exactly what I was looking for.
This PR alters exportNotebook to check, if the ssh config has a "remarkable" entry. If so, this is used in preference over the default USB IP. A corresponding info note is also added to the Readme.
In addition rsvg-convert is optionally used, if present, instead of convert to avoid rasterizing lines with 100 dpi. This can result in smaller filesizes, which are now also printed in the output.
Exporting notebook "Test" (2 pages)
Written 78,891KiB to Test.pdf
First of all, thanks for your work! These scripts are exactly what I was looking for.
This PR alters
exportNotebookto check, if the ssh config has a "remarkable" entry. If so, this is used in preference over the default USB IP. A corresponding info note is also added to the Readme.In addition
rsvg-convertis optionally used, if present, instead ofconvertto avoid rasterizing lines with 100 dpi. This can result in smaller filesizes, which are now also printed in the output.