Astraeus Toolchains

Copying a compiled binary package to another Linux machine of whatever ancient distribution, and being able to run it, is more or less a dream than a reality. Hence why tools like Docker are so useful. But I don’t think I would feel natural to use Docker to run, say, vim with YouCompleteMe built with a certain set of options.

So the solution usually boils down to copying all dependencies along with whatever package I am going to use. But dependencies have dependencies too, so the right answer would be “all recursive dependencies”. Which is still often doable with the help of tools like ldd. But some libraries are more angry than others; a particularly one, glibc, does not simply work if one copies it to another machine and expect the dynamic loader to load it. Of course, one can also copy the dynamic loader,, but that puts many extra limitations on what you can run and what it can interact with.

Read more“Astraeus Toolchains”

Football Manager 2019 Season 1

Yeah. The first season is finished. The nature of amateur football dictates that even if I control the manager, I have absolutely no power to prevent other teams from signing my players. The total monthly expenditure of the whole club is nearly zero, since everyone essentially works for free — or “for the love of football”. After all, “Amateur” used to mean “lover”.

Read more“Football Manager 2019 Season 1”

I need to be careful with names

Last week I created a post and a page.

The post was this. I wrote about what my first game setup was like, and what difficulties I met with trying to run the game under Linux with Steam Play.

The page, available here, was on the other hand not supposed to be a publicly viewable page. At least not until I have added in more stuff. It contained various technical details of what I did to get my first game running, so that I could follow it step by step and continue my game on a second PC.

Naturally, both the post and the page were named “Football Manager 2019”. Guess what? The generated permalinks are also the same. For both the post and the page they are The page took priority over the post. Hence, even if the main page shows the correct digest of the post, clicking “read more” would show the content of the page instead. And it was a page that was supposed to be secret at that point…

There were, many different naming schemes that I could use. Unfortunately, I have already made the decision back in a time I did not know about any potential issue, and now it is perhaps a bit too late to change it, as I have used many internal links, this very post also adding to the injury.

What I did not expect is that there is no mechanism of conflict detection whatsoever.

It seems that, given all these considerations, I have to be careful with names.