[tex-live] Location of recorder file

[Akira Kakuto]

Hi Karl, Taco,

> I was wrong. Still kpse_program_name equals tex/hello.tex
> in Karl's example.

In
    kpse_set_program_name(argv[0], user_progname);
in luainit.w,
user_progname is determined as follows in ini mode:
(1) user_progname = input_name;
(2) if (user_progname == 0)
      user_progname = remove_suffix (kpse_invocation_name);

The above is the reason why kpse_program_name equals "tex/hello.tex"
in Karl's example.

Taco, is it necessary to set user_progname = input_name
in the ini mode?

In the case that it is necessary, the present problem is solved
if Taco uses user_progname = (string) xbasename (input_name);

Thanks,
Akira