Misc 2 #40

Merged

oysteikt merged 6 commits from misc into main

2024-08-07 23:05:03 +02:00

Author	SHA1	Message	Date
h7x4	011bcf9edc	More spring cleaning for privs, add test	2024-08-07 23:00:38 +02:00
h7x4	1bb1c133e8	Consistently name db connection `connection`	2024-08-07 21:54:13 +02:00
h7x4	5a7516aed8	Rename most instances of "permission" to "privilege"	2024-08-07 21:51:03 +02:00
h7x4	7025982d44	flake.nix: add mysql-client to devshell	2024-08-07 21:17:27 +02:00
h7x4	71c712dce0	treewide: move some code around, spring cleaning	2024-08-07 21:17:27 +02:00
h7x4	833251a1a2	show-user: add databases field, report when no users	2024-08-07 20:31:05 +02:00