Re: user-init-file source vs. compiled

[Lennart Borgman (gmail)]

Juanma Barranquero wrote:
> On 2/1/07, Lennart Borgman (gmail) <address@hidden> wrote:
>
> > Could load-file-name be a way for a user to check in user-init-file what
> > is actually loaded?
>
> What do you mean? `user-init-file' is what is actually loaded.
>
> > Or is that not set here?
>
> Where? Certainly `load-file-name' is set while a file is being loaded.


I just meant that if the user want to know if he has compiled his user 
init file he/she can look at load-file-name. There is no need to give 
this information also through user-init-file during the load of 
user-init-file. So user-init-file could from that point of view point to 
the source file.