Time Nick Message 03:15 Menchers "/home/menche/.local/src/minetest/src/database/database-postgresql.h:23:10: fatal error: 'libpq-fe.h' file not found" 03:15 Menchers postgresql? I have that disabled 03:15 Menchers why's it looking for an include file for it 03:16 Menchers it seems to be properly #if'd out 03:16 Menchers wat 03:17 Menchers serverenvironment.cpp shouldn't be including that 03:26 * Menchers nukes the repo and checks it out fresh 03:26 Menchers huh it works now 04:13 MTDiscord Did someone say my name? 04:13 MTDiscord Oh i mean 04:13 MTDiscord Did someone say my name? 04:14 MTDiscord Why did you type the exact same thing twice? 04:16 MTDiscord Bc my nickname wasnt right 16:15 jonadab It's the same? 16:19 MTDiscord Oh, his Discord nickname was different before. 17:40 jonadab Does the bridgebot not show us the current Discord nick on the Libera side? I see "fatalerror420" for him both times. 17:45 rubenwardy it uses username, not nickname 17:52 jonadab That seems like an odd choice, given that the whole purpose of nicks is that that's how you want people to see / refer to you at the moment. 17:53 mmuller I'm totally guessing, but could it be that Discord nicks are non-unique? 17:58 MTDiscord Discord nicks are very non-unique. It's 100% plausible to have fourty users by the name of "Bob" 18:00 sfan5 just forty? 18:01 MTDiscord Or more. I just pulled a number out of my head. 18:11 MTDiscord Though, it's also the same for regular usernames. Discord uses a 4 digit "discriminator" to tell people with the exact same username apart. You could have up to 9999 people with "Bob" as their username at once. 18:16 MTDiscord We use username more because nicks change a lot 18:27 jonadab I see. 18:28 jonadab IRC nicks aren't always registered and protected, but _at any given moment_ they're unique network-wide. 18:29 jonadab And for historical reasons IRC account names don't always _exist_. Users don't have to register with services. Most of us do, because it lets us register and protect our primary nick. But it's not required. 18:30 jonadab This is, of course, because account registration is something that was bolted on later, rather than a designed-in feature, because IRC is _old_. 18:31 jonadab Though, channels can have a flag that means you can't join if you aren't authenticated with services. 18:31 jonadab But most channels don't have it. 22:50 katp32 hello, I have several questions; for one, is there a way to set the directory the server loads games from, either via command line args or the config? 22:54 sfan5 there is not 22:56 katp32 argh, ok... 22:57 katp32 is there a way to set the server to log to the syslog instead of a file? 22:57 sfan5 also no, but if you run systemd any service output will automatically go to syslog 22:58 katp32 I do not run systemd.. this is going to be annoying :( 23:10 erlehmann katp32 pipe stuff to syslog 23:10 erlehmann katp32, man logger 23:11 katp32 yeah, I'm aware, but it means that now I need to deal with tampering with the service script, and just generally ugh 23:11 MTDiscord I thought MT automatically spit stuff out to stderr too 23:11 erlehmann that's true for every service you want to change behaviour for 23:12 erlehmann either you change some service script or some systemd unit file or something else that runs it 23:12 katp32 I- yes, obviously. I mean that I'd rather not have to change the service script and just be able to use a config option :P 23:13 erlehmann katp32 use a different service manager then than whatever you are using now i guess? like s6 or so 23:14 erlehmann but really, piping to logger is not that hard 23:18 katp32 that's really not the point; for one, having to pipe to logger means losing severity level information 23:20 erlehmann how that?