pdtreplace(1) on Linux
The text 018d1f8c1bdf, as Debian 10 (Buster) shipped it.
convert an RTN into a PDT
Flags it lists
-
--fst_align -
--fst_compat_symbols -
--fst_default_cache_gc -
--fst_default_cache_gc_limit -
--fst_error_fatal -
--fst_field_separator -
--fst_read_mode -
--fst_verify_properties -
--fst_weight_parentheses -
--fst_weight_separator -
--help -
--helpshort -
--left_paren_prefix -
--pdt_parentheses -
--pdt_parser_type -
--right_paren_prefix -
--save_relabel_ipairs -
--save_relabel_opairs -
--start_paren_labels -
--tmpdir -
--v