I use a Git repo for the files, and a simple Makefile to script the correct paths and optional install steps for them

That looks useful, thanks for sharing

This looks really nice, I’ll star it so I remember to download it later

I actually work in a company where anyone can work from home if they want. It’s just that many of us chose not to for various reasons.

So I’m sorry for having a preference different than yours, but if your management uses me as a single example to keep people in the office against their will, I think that’s s problem with the management, not with me.

That seems like a very depressing mindset to have. And don’t generalize your view onto everyone else like that. You say this as if I’m forcing everyone else at work to talk to me, which I am not. I am not even the one to initiate most conversations.

By talking to others, I’m feeding on their energy? I never said that I forcefully disturb others so they have to talk to me or something. I just enjoy the casual day-to-day chats with my coworkers.

But if calling strangers gross on the internet makes you feel good, I hope you have a lovely day.

I’m sorry for having an opinion different than yours. I am not even saying that WFH is bad or anything, just that I don’t prefer it.

4 days on-site. I like the mental separation by having a completely separate space for work, and I enjoy talking to my colleagues. I don’t see many people outside of work, so I need the social interaction. And the lunches at work are usually much healthier than something I’d cook up myself, so that’s also a plus.

I have tried to work from home a few days, but don’t really like it at all.

I’ve used Mint since I started using Linux, and never had any major issues. I’ve therefore just stuck with it. I don’t always have the time to tinker with my machine if something should break, and Mint usually just works when I need it, while still providing flexibility when I want it (and Timeshift to fix it when I break stuff)