Function gjs_console_write_repl_history

util/console.cpp:86–93

}

void gjs_console_write_repl_history(const char* path) {
    if (path) {
        int err = write_history(path);
        if (err != 0)
            g_warning("Could not persist history to defined file %s: %s", path,
                      g_strerror(err));
    }
}
#endif