[EMAIL PROTECTED] (Ludovic Courtès) writes: > > (i) a config file holding the default value of `%load-path',
If you really want to add something, just load an /etc/guilerc at startup. That'd be all the flexibility and wouldn't force add-on modules to jump through hoops (not until the hoops are much clearer in everybody's minds). > (ii) a script to manipulate that file (i.e., to add/remove > directories from it). Leave that to later. See if anyone is actually doing stuff so much crazy stuff it needs automation. _______________________________________________ Guile-user mailing list Guile-user@gnu.org http://lists.gnu.org/mailman/listinfo/guile-user
