[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: What is the proper way to set the default font these days?
From: |
James Cloos |
Subject: |
Re: What is the proper way to set the default font these days? |
Date: |
Fri, 12 Jun 2009 13:14:29 -0400 |
User-agent: |
Gnus/5.110011 (No Gnus v0.11) Emacs/23.0.92 (gnu/linux) |
>>>>> "Miles" == Miles Bader <address@hidden> writes:
Miles> The "rules" (by my observation) are a bit bizarre: If there's
Miles> _anything_ in the server's database, even entries for an
Miles> unrelated application, then ~/.Xdefaults is completely ignored,
Miles> and only entries from the server database are used; otherwise
Miles> ~/.Xdefaults is used.
After the above, then ~/.Xdefaults-$HOSTNAME is always read.
The idea is that ~/.Xdefaults-$HOSTNAME is for settings which are
specific to one client machine and the server's database for settings
which are specific to one server. Reading ~/.Xdefaults is a backup
measure for the cases where the user does not have a $HOME on the
server.
Obviously this distinction is more useful when one has multiple boxen
with a shared /home (eg by nfs) and uses X over tcp. (That was a very
common setup when the coding was done.)
This logic is in libX11, for those who'd like to read the src.
-JimC
--
James Cloos <address@hidden> OpenPGP: 1024D/ED7DAEA6
- Re: gtk toolbar bug, (continued)
- Re: What is the proper way to set the default font these days?, Chong Yidong, 2009/06/10
- Re: What is the proper way to set the default font these days?, Chad Brown, 2009/06/08
- Re: What is the proper way to set the default font these days?, David Reitter, 2009/06/08
- Re: What is the proper way to set the default font these days?, Miles Bader, 2009/06/08
- Re: What is the proper way to set the default font these days?, Stefan Monnier, 2009/06/10
- Re: What is the proper way to set the default font these days?, Miles Bader, 2009/06/10
- Re: What is the proper way to set the default font these days?, Eli Zaretskii, 2009/06/08
- Re: What is the proper way to set the default font these days?, Johan Bockgård, 2009/06/08
- Re: What is the proper way to set the default font these days?,
James Cloos <=
- Re: What is the proper way to set the default font these days?, Stefan Monnier, 2009/06/12
- Re: What is the proper way to set the default font these days?, Miles Bader, 2009/06/14