- From: Jose Kahan <Jose.Kahan@imag.fr>
- Date: Wed, 4 Sep 1996 20:38:31 +0200 (MET DST)
- To: Mark.Sebastian.Fischer@horz.technopark.gmd.de
- Cc: www-amaya@w3.org
Mark, Thanks for your comments. They are very well appreciated. Here's an answer to one of your points. The other parts of your mail will be answered later on. > , > we already had that one), there could be a nicer way to persistently > define a different HOME_PAGE (site- wide and/or on a per- user basis) > than editing the amaya- script or setting Emvironment- Variables > (name-space-pollution): X resources and config- files like ~/.amaya. > You can also specify a home page when executing Amaya from the command-line : > amaya http://myhomepage.html or even > amaya /dir/path/myhomepage.html You could add an alias in your environment to map the amaya command into one of the above lines. I agree that the best way would be to have some kind of configuration menu inside Amaya, where you could specify your profile, without having to modify any other files. Is this what you had in mind? Greetings, -Jose
Received on Wednesday, 4 September 1996 20:38:40 UTC