Execute a readline initialization file. The default filename is the last filename used.
readline/read_init_file
read_init_file