How does one convert an .rtf dictionary to .json?

1,553 views
Skip to first unread message

Brent

unread,
Feb 18, 2014, 4:35:21 PM2/18/14
to plove...@googlegroups.com
Can this be done with Plover itself (ie. load an .rtf dictionary, and save it as a .json), or is the dictionary converter script still the best way?

And if the dictionary converter script is recommended, how does it work?
The instructions say: python convert_rtfcre_to_json_dict.py > output_dict.json 2> report.txt  
but they don't mention the input file.

Hesky (Yechezkia) Fisher

unread,
Feb 18, 2014, 6:13:45 PM2/18/14
to plove...@googlegroups.com
The script takes the dictionary as the first argument. So it would be:
python convert_rtfcre_to_json_dict.py dict.rtf > output_dict.json 2> report.txt  

Plover doesn't have such a feature yet. 
--
You received this message because you are subscribed to the Google Groups "Plover" group.
To unsubscribe from this group and stop receiving emails from it, send an email to ploversteno...@googlegroups.com.
For more options, visit https://groups.google.com/groups/opt_out.

Brent Nesbitt

unread,
Feb 18, 2014, 6:27:37 PM2/18/14
to plove...@googlegroups.com
Thanks Hesky,

I'll forward your info to the fellow with the .rtf file then.

Brent.
Reply all
Reply to author
Forward
0 new messages