As per #128, I used wkhtmltopdf to generate pdf files from html. I used the following gist to help me install the program onto our VM.
I added a new function to the export servlet which converts the sequence json into an html page with a table representing the sequence. It performs this conversion in a very similar way to how the markdown list is generated.
I changed the server API a little to accommodate this change:
Added an exportType parameter, which can use the values table or list so as to select which type of export is to be performed.
Added a programName paramater, whose value is essentially just added in bold to the top of the page regardless of whether you're exporting to a list or table. The wiki will be changed accordingly once this PR is merged.
~I will need to update our REST API wiki page accordingly once this is PR merged.~ wiki has been updated
resolves #128
Summary
As per #128, I used
wkhtmltopdfto generate pdf files from html. I used the following gist to help me install the program onto our VM.I added a new function to the export servlet which converts the sequence json into an html page with a table representing the sequence. It performs this conversion in a very similar way to how the markdown list is generated.
I changed the server API a little to accommodate this change:
exportTypeparameter, which can use the valuestableorlistso as to select which type of export is to be performed.programNameparamater, whose value is essentially just added in bold to the top of the page regardless of whether you're exporting to a list or table. The wiki will be changed accordingly once this PR is merged.~I will need to update our REST API wiki page accordingly once this is PR merged.~ wiki has been updated