I had already given up on this, when it suddenly solved itself as side-effect of something else. The culprit once more (and I should already have expected that...
Okay, so after a bit of poking around I figured out what the problem was. It appears that you have to relog the shell every time you close your terminal window.
I have to redo the source...
Saturday, February 5, 2022, 9:03:12
This website is using cookies We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive all cookies on this website.
Learn more