6 Commits

Author	SHA1	Message	Date
Rodrigo Arias Mallo	cc31cb30c3	Control user access to each machine ... The users.jungleUsers configuration option behaves like the users.users option, but defines the list attribute `hosts` for each user, which filters users so that only the user can only access those hosts.	2024-06-07 10:45:46 +02:00
Rodrigo Arias Mallo	2d16709648	Add anavarro user	2023-09-04 16:00:01 +02:00
Rodrigo Arias Mallo	80c98041b5	Set zsh shell for rarias	2023-09-03 16:46:27 +02:00
Rodrigo Arias Mallo	623d46c03f	Move authorized keys to users.nix	2023-06-20 14:08:34 +02:00
Rodrigo Arias Mallo	518a4d6af3	Add rpenacob user	2023-06-20 12:54:26 +02:00
Rodrigo Arias Mallo	f4ac9f3186	Simplify flake and expose host pkgs ... The configuration of the machines is now moved to m/	2023-06-16 11:31:31 +02:00