let
mode_rc_file mode_name =
Ed_config
.rc_file (
Printf
.sprintf
"%s.mode.%s"
factory_name mode_name)