How can I set 'Print to File' as my default printing option?
Solution 1:
Stop cupsd by running
sudo stop cups
Then edit /etc/cups/printers.conf with your favourite editor.
Find the line that says
<DefaultPrinter somename>
And change it to
<Printer somename>
Then start cupsd with
sudo start cups
And that should remove the default printer thus reverting print to file as the default.