121 reputation
2
bio website yuugen.jp
location Japan
age 32
visits member for 1 year, 10 months
seen Nov 12 '12 at 9:08

Experienced in C/C++ using STL, POSIX, OpenGL; bash using coreutils, sed. Proficient in MatLab; Maple; Python using matplotlib, wxWidgets; php. Comfortable in Ruby, JavaScript.

Proficient in HTML, CSS. Comfortable in XSLT.

Interested in compiler theory, computational geometry.


Sep
19
comment Set window manager's meta key depending on connected Xserver
Is there any way I can add some info to the output of xrdb -symbols or xdpyinfo by some configuration or command line argument of the X server?
Sep
19
comment Set window manager's meta key depending on connected Xserver
When playing with xprop I did find xdpyinfo which gave me something useful, it showed that the connecting OS X boxes have some Apple specific extensions Apple-WM and Apple-DRI, I could switch on the existence of that, but it would be quite a kludge and there is of course no guarantee that a similar kludge would exist for other platforms...
Sep
19
comment Set window manager's meta key depending on connected Xserver
As for xprop, I could not get it working yet, but aside from that the problem is that the X server is not yet running before the X -query is made, and after that xprop does not have access on the connecting box, an xhost +<IP from $DISPLAY> would need to be executed on the server box, or something similar. Even then my xprop failed for some unknown reason, which I have not yet been able to solve.
Sep
19
comment Set window manager's meta key depending on connected Xserver
re: keymap Exactly, which is what I cannot require from people, adding some info tag in whichever way is one thing, but asking people to modify their keymap is not okay in this environment
Sep
19
comment Set window manager's meta key depending on connected Xserver
The X_SERVERHOST also seems a no-go, for me it just gives the IP of the box running the X server, just like it is in $DISPLAY in the environment. As mentioned it's a DHCP environment, so I cannot infer anything from the IP itself.
Sep
19
comment Set window manager's meta key depending on connected Xserver
Unfortunately option one is a no-go since I cannot require users to set up their keymap in a certain way just for this one server, they will be connecting to other servers and using their X locally which could get messed up or require people to do all kinds of reconfiguration on their own boxes or on the other servers.
Sep
17
awarded  Student
Sep
17
asked Set window manager's meta key depending on connected Xserver
Sep
17
awarded  Autobiographer