[Debian]: Re: Environment (Was: Re: profile)
* Klaus Stein <steink@informatik.tu-muenchen.de> schrieb:
[Etwas sehr umständliches ". /etc/environment"]
> Ist das sinnvoll so? Gibt das irgendwelche Probleme? W"are das allgemein
> n"utzlich/ein sinnvoller Weg, mit globalen Environment-Einstellungen
> umzugehen (also evtl. f"ur eine default /etc/profile im entsprechenden
> package)?
IMHO wäre solch ein Mechanismus schon sinnvoll, es geht aber wesentlich
einfacher. In der /etc/X11/xinit/xinitrc steht's ja schon drin:
# If /etc/environment is present, source it. It's useful to put default
# environment settings in this file, and then source it both here and in
# /etc/profile.
if [ -f /etc/environment ]; then
. /etc/environment
fi
Keine Ahnung, warum der Bash-Maintainer das nicht einfach für die
/etc/profile übernimmt. Wishlist-Bug?
Bye,
Björn
--
PGP: ID=2048/54F7F429 FP=9F 37 38 6E D8 BF D5 AB 1C B7 67 65 EF 0A 79 D1
http://mini.gt.owl.de/~bjoernh/54F7F429.asc or ask a keyserver
------------------------------------------------
Um sich aus der Liste auszutragen schicken Sie
bitte eine E-Mail an majordomo@jfl.de die im Body
"unsubscribe debian-user-de <your_email_address>"
enthaelt.
Bei Problemen bitte eine Mail an: Jan.Otto@jfl.de
------------------------------------------------
Anzahl der eingetragenen Mitglieder: 645
Reply to: