where is the option to save to pdf in onlyoffice 7.1 linux version ?
Please let us know your OS version, exact desktop editors version and guide which you used for desktop editors installation.
I just have checked my Manjaro OS with Desktop editors v.7.1. There’s save as pdf feature.
Please provide us with exact scenario if I misunderstood your request.