|
From: | Lennart Borgman (gmail) |
Subject: | Re: user-init-file source vs. compiled |
Date: | Thu, 01 Feb 2007 18:20:57 +0100 |
User-agent: | Mozilla/5.0 (Windows; U; Windows NT 5.1; en-US; rv:1.8.0.9) Gecko/20061207 Thunderbird/1.5.0.9 Mnenhy/0.7.4.666 |
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.
[Prev in Thread] | Current Thread | [Next in Thread] |