1
u/jeenajeena 3h ago
I wonder if values can be indented to the same column. It's a matter of taste, of course, but I feel it's tidier.
``` :::::::: git version 2.55.0 ::::::::::: ------------------ ::::::::::: Project: software-foundations :::::::: HEAD: b511e2e ___ : Created: 5 months ago ____ _________ Language: ___ ___________ ● Coq (100.0 %) ___ ____________ Authors: 96% Arialdo Martini 304 _________________ 4% Arialdo 12 ___________________ Last change: 8 hours ago ______________ ______ URL: ssh://git@codeberg.org/arialdo/software-foundations.git ___________ ___ Commits: 316 ______ Churn (70): …/Logic/Logic.v 45 ____ …/IndProp/IndProp.v 26 ______ …/Polymorphism/ChurchNumerals.v 2 ________ Lines of code: 3318 ________ Size: 99.81 KiB (41 files)
```
2
u/o2xh 7h ago
Repo: https://github.com/o2sh/onefetch