home · contact · privacy
 
descriptionUnnamed repository; edit this file 'description' to name the repository.
last changeFri, 25 Sep 2026 00:28:28 +0000 (02:28 +0200)
shortlog
3 hours ago Plom HellerAlso enhance root prompt, but differentiate prompt... master
4 hours ago Plom HellerEnsure .sh suffix to (most) shell-code files.
5 hours ago Plom HellerMinor refactoring.
41 hours ago Plom HellerOn git server setup right-away self-host this very...
41 hours ago Plom HellerDon't push remote-tracking refs into adopted repo.
45 hours ago Plom HellerFix install_server.sh putting repo where user can't...
2 days ago Plom HellerSplit (and extend) setup_git_mirror.sh into adopt_repo...
3 days ago Plom HellerAdd AI accounting of code changes and their meanings.
3 days ago Plom HellerIn status bar code, re-organize what to global.
3 days ago Plom HellerImprove sway status bar formatting with colors and...
5 days ago Plom HellerSome refactoring.
5 days ago Plom HellerUse generic device type rather than specific device...
5 days ago Plom HellerFix ls color loss on switching to root.
5 days ago Plom HellerFix broken terminal font-size setting.
5 days ago Plom HellerAdd keyboard layout toggling.
5 days ago Plom HellerDeclutter home directories from .profile.* by move...
...
heads
3 hours ago master