cenko.tech

#open-source

4 posts tagged open-source. All tags

  1. Making apt repository setup fail where the problem is

    2 min

    A Linux bootstrap script kept going when a repo signing key failed to download, so the error showed up later as an unrelated apt failure. Here is the fix.

  2. When the AI says the teams are balanced and they are not

    3 min

    Five pull requests to footbolski, a match-organising app for our football group, including tracing why its AI team split contradicted its own explanation.

  3. Only works if your username is "user": fixing hardcoded home paths

    2 min

    A voice-control tool hardcoded /home/user in its scripts and systemd unit, so it broke for every other account. $HOME and systemd's %h fixed it.

  4. Making a Webex bot say which space it means

    2 min

    The eurl bot's join message said "this space", which means nothing once the text is pasted somewhere else. A four-line change makes it name the space.