omni.git - not just a monorepo, its an *omnirepo*

Age	Commit message (Collapse)	Author
2024-05-20	Fix push.sh, act as $USER instead of root	Ben Sima
	At some point I guess the activation script changed to no longer include the domain, so I have to get it form the 'domainname' systemd service. Also I switched to sshing as $USER instead of root, which just seems like better security practice. I originally used root because I thought you had to be root to do nix system stuff, but it turns out that's not the case.
2024-04-01	Rename .bash files to .sh	Ben Sima
	I was already using .sh to refer to shell scripts. When I added .bash, I didn't realize that the linter was set to act on .sh files and not .bash files, so all of these bash scripts escaped the linter. This commit renames them to .sh, removes the .bash extension support from Biz.Namespace, and fixes all the reported shellcheck errors.