Vladimir Panteleev

> There is slash in `cat /etc/profile.d/hax11.sh` (created by `sudo make install`). Is it an error? No, it prevents the shell from interpreting the `$` as the variable name prefix....

So I guess the launcher program (that runs on Alt-F2) is either unaffected by both `/etc/environment` and `/etc/profile`, or for whatever reason it intentionally unsets `LD_PRELOAD`. I'm not sure what...

> there is alert window on cinnamon startup: You should have these files: - `/usr/local/lib32/hax11.so` - `/usr/local/lib64/hax11.so` - `/usr/local/lib/hax11.so` (actually 2 files, `lib64` should be a symlink to `lib` or...

Try `sudo mv /usr/local/lib64/hax11.so /usr/local/lib/ && sudo rmdir /usr/local/lib64 && sudo ln -s lib /usr/local/lib64`

Strange. I don't know why. What about other apps?

> ``` > > cat /etc/profile.d/hax11.sh > export LD_PRELOAD=/usr/local/\$LIB/hax11.so > export ETC_PROFILE_HAX11_LOADED=1 > > > echo $ETC_PROFILE_HAX11_LOADED > 1 > > > echo $LD_PRELOAD > > # empty > ```...

OK. I suggest seeking support from your distribution. Unfortunately I don't know Linux Mint, and LD_PRELOAD being unset by other software is not really a bug in hax11. Let's keep...

I'm not sure. The problem might be at the driver level, especially when it comes to OpenGL contexts. Can you provide instructions on how to set up an X server...

> Quite easy. It doesn't look like I can start a second X server with that config along my main one (so I can work on the same machine), right?

I don't see how that could work. - Surely :0 should be something else, like :1, because my main X server is running on :0. - That command line is...