![](/static/253f0d9b/assets/icons/icon-96x96.png)
![](https://lemmy.ml/pictrs/image/q98XK4sKtw.png)
I haven’t. But having my home dir be a git repo helps a great deal. The rest I install when I need it
I haven’t. But having my home dir be a git repo helps a great deal. The rest I install when I need it
I study computer science and it’s definitely been an advantage. That being said, I believe circumstances might wary between institutions, countries, subjects and teachers a lot.
For documents, when we have a group task, we just use collaboration platforms online, like Google docs. Gets the job done easily.
When you’re alone, using free stuff shouldn’t be a problem.
A little advice: don’t bother with latex and use typst instead. Latex works but it’s often weird and the error messages are hidden in a thousand lines of “unfull hbox”
In what way? Works for me
Forgejo actions is basically GitHub actions. The difference in my ci scripts is a single line and you can even use GitHub action templates or whatever they’re called.
You just need to add some runners to your server, which is pretty easily doable by just using some docker container and deploying that multiple times
I meant on raspbian.
Oh damn you’re right ipv6 has something included. Ipv6 is so cool, sad that hardly anyone supports it. Not even I myself on my home server because I couldn’t get routing from ipv6 to my internal ipv4 hosts working.
What is the alternative to DHCP? Besides static IPS of course.
I discovered that the default de wasn’t gnome actually. It was raspberry pi DE, which isn’t my thing.
Through I had no idea that the rpi5 required some stuff that is not yet merged into the kernel, and only raspbian works as a result, because they ship s custom one.
Any modern DE in my fucking Raspberry Pi 5. I tried going Debian testing, broken packages. I tried installing other OSes, fedora didn’t even boot, Ubuntu broke in installation and now won’t let me log in.
Gnome in Debian stable feels too old and I can’t get the screen keyboard working and disable the dann screen reader. I just want a box to put on my tv.
Edit: was idiot, thought raspberry pi de was gnome.also the rpi5 needs a custom kernel as some stuff isn’t yet in the main one, so use raspbian.
What is that?
So have I, multiple times, yeah
From hand feel, my battery doesn’t really get hot (opened it right after shutdown when it was 80 CPU temp)
From my understanding, they have some ring 0 thing that fucked up. Could that not in theory happen on our beloved Linux systems? Or does the kernel generally not give that option?
They didn’t even bother to test their stuff, must have pushed to prod
(Technically, test in prod)
Similar. 95-100 degrees C under load, while 70-85 (or something like that) is normal according to the support. It’s also very hot in idle (60-80). And when it gets hot, it throttles to unusable 400 MHz.
Still in contact with support, I have warranty, so I’m hoping they get me new thermal paste or whatever is broken. It’s not a software thing.
Framework laptop has a nice concept and good Linux support in theory.
Sadly, I keep having heating problems with mine, currently in contact with their support again.
You can also just use neovim instead, among other improvements, it’s configs are in the xdg dirs
You probably don’t want to mention what this product is called, understandable.
Why would anyone use that? Isn’t it obvious that this can’t be good?
You can set A DNS entries without wildcard in the configs (with head scale at least), just use their magic DNS thing that works with hostnames or just self host DNS and tell your tailnet to use that.
Yeah, same for me