![]() Thanks again for sharing: it's proving both insightful and usefull. If the Wikipedia article is right about wild cards, and if I understand it correctly, shouldn't a line like: One last question though, about the separate lines for XTerm resources and UXTerm resources. Xresources file, customized to my own taste: I need a much bigger font for my 1080i display across the room, and I prefer scroll bars, for instance. Why didn't I have one? What's more, I found that the command "xrdb -query" listed many X resource settings: where were these settings stored? It didn't take too long to find /etc/X11/Xresources. ![]() It was like suddenly noticing that I had no belly-button. I have tried connecting to it using PuTTY in Windows and using the command- line ssh client of. Once you brought it to my attention, I noticed my home directory had no. I have a remote Ubuntu box, the default shell of which is bash. Xresources file operates on the X-server side, so one copy in your server's home directory will do. xtermsetrc) ? (I'm not sure there is such a thing but it seems like there should be.) A more thorough reading of the above article points out that many X-apps are run across a network: since such config files are client side, you would need a copy of them on each and every client system. My next question was why you wouldn't just use. My first thought and question was "What are Xresources, and why should I care?" Rather than bothering you, I quickly found which cleared up those basics. Thanks for your thought provoking, question raising post there, zen-subz! Logout and login again for the settings to take effect, or, for an immediate action one could issue: ![]()
0 Comments
Leave a Reply. |
AuthorWrite something about yourself. No need to be fancy, just an overview. ArchivesCategories |