I use Arch Linux on my personal machines since I left macOS in 2015ish. I briefly tried Ubuntu before but I wanted some newer versions of some software and I thought Arch would be a good way to learn about Linux (whatever that means). Since it worked for me I never really bothered trying anything else.
At work I basically have to choose between Ubuntu, Debian, and CentOS. Everyone else seems so use Debian or Ubuntu. I gave Ubuntu another try but snap was acting up so now I'm using Debian.
I don't really have any strong opinions on various distros. I'm just happy I don't have to deal with WSL anymore which I had to for my previous job. :D
Arch is so good. I really enjoyed running it for a couple years, but then that grub issue last year made me look at other distros, eventually ending up on Fedora.
I'm coming home. Fedora just does wonky stuff on my computers. I haven't enjoyed it at all.
Debian on my homelab, Arch on my main. I'm done distrohopping.
If you teach all the concepts of Git (e.g. commits point to parents but not to children or branches are labels that point to a commit) properly it takes some time but then you get a lot of the more advanced things such as rebase kind of for free. In my experience, people often struggle with those because they have no clue how Git internally works. I had the same problem but when I looked into that it clicked and suddenly all the commands made a lot more sense.
I had different branches for different machines too in the past but it felt very inefficient to me. The configuration was the same for 99% and for the last 1% I had to manually copy stuff back and forth. At the moment, I just try to use tools that allow me to have different configurations for different hostnames or OSs but maybe I should look into one of the fancier dotfile managers…
> To me, I don't really see a difference between GitHub and sr.ht. Companies can start out with these "friendly" attitudes towards FOSS, but when they reel in many paying customers, they can pretty easily, and without consequence, change their policies to be more aggressive (geared towards profit) and greedy. It just seems inevitable to me.
But with sourcehut you can just host it yourself or find someone else who hosts that as everything is FOSS.
If you don't want to use the built-in CI, wiki and issue tracker, then Git is already decentralized. You can push and pull easily from and to multiple sources. Git is already built for that exact use case.
> If you don't want to use the built-in CI, wiki and issue tracker, then Git is already decentralized. You can push and pull easily from and to multiple sources. Git is already built for that exact use case.
Git is a great protocol. You can pull/push to HTTPS servers, SSH servers, even directories (so via NFS if you so wish). Really, Git is really awesome in that way.
But Git itself is not a "code hosting service" that parent asked for. That requires more. Something like Fossil SCM would probably fit better, or git-ssb as I mentioned in another comment here.
When I first started to learn Ada, I found it one of the most verbose languages I’ve ever used. Now I find myself practicing those wordy conventions in other languages too.
In my experience, Overleaf is actually awful for collaboration. Maybe my workflow is weird, but I tend to look at the diffs after my colleagues make changes. Also, we mainly use pull requests to add to our papers. This way, everyone can see and comment on changes.
This kind of workflow is not really usable with Overleaf. Overleaf uses Git in the background, but every commit is named "changes on Overleaf" and the individual commits do not really make much sense. In addition, everything is immediately put into the master branch and there's no way to summarize or group changes (like with commits and/or pull requests).
My next problem is, that Overleaf just uses latexmk so if you have some code to generate graphics or tables, you have to compile and add them manually all the time.
my workflow is different : we use voice chat to share and we edit collaboratively. Both these allow to actually work together and, more importantly, think together.
That's very interesting. I honestly didn't think of that, since we often worked asynchronously or at the same machine (which doesn't work at the moment, of course). I can see how Overleaf can be nice for that purpose.
Just change it to US international or EU layout. It takes a few weeks to adjust, but I'm typing English and German with US international layout and I can use every Umlaut without any problems. :)
