[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug #13866] cannot change user-root with ./configure
From: |
Richard Frith-Macdonald |
Subject: |
[bug #13866] cannot change user-root with ./configure |
Date: |
Sun, 24 Jul 2005 11:18:58 +0000 |
User-agent: |
Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.8) Gecko/20050517 Firefox/1.0.4 (Debian package 1.0.4-2) |
Follow-up Comment #5, bug #13866 (project gnustep):
Having spent some time looking at this and thinking about it, I think there
are a few issues here.
1. While the move to using a configuration file read at runtime to define
locations of directories/resources has been going on for a while and was
discussed a lot on the mailing lists ... I don't think it's been well
documented in the release notes etc ... which is a problem.
2. Though the use of the config file makes old make package config options
irrelevant, they should probably still have been removed. I guess we might
also want to remove some environment variables and the user_home program.
3. I think the current setup is actually likely to be problematic for some
people who put user directories in non-standard places ... the make system
sets up PATH and LD_LIBRARY_PATH environment variables to point to
user-specific libraries and tools/applications, and if it gets this wrong,
those libraries/programs won't be found.
To solve (3), I think it would be enough to install a tool with the base
library to provide the paths for the user libraries/executables (analogous to
the old user_home program in the make package), and have the make package use
it to set up PATH and LD_LIBRARY_PATH in GNUstep.sh, but this does need a new
(trivial) tool in the base package and requires changes to the make package
coordinated with its addition.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/bugs/?func=detailitem&item_id=13866>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/