Takao:

Good point.  I think it would be better to use DESKTOP_SESSION than
GDM_SESSION, and be consistent with the 0011.env script.  GDM normally
sets both, but DESKTOP_SESSION is more of a FreeDesktop.org standard.

Could you update the script Fu, to use this environment variable
instead?  I would use the same syntax as used by the 0011.env script:

case $DESKTOP_SESSION in
gnome|GNOME|JDS|tgnome|TGNOME|tjds|TJDS|TrustedJDS)
call to "$XRDB -merge << EOF"
;;
esac

Brian


> FYI:
> ext-sources/0011.env uses $DESKTOP_SESSION instead of $GDMSESSION and 
> ext-sources/dtstart also provides $DESKTOP_SESSION
> 
> Thanks,
> fujiwara
> 
> (10/14/09 14:53), FU Ning-san wrote:

Reply via email to