rarias/jungle
rarias/jungle
2
0
Fork 2
Code Issues 53 Pull Requests 11 Actions Packages Projects Releases Wiki Activity
233 Commits 24 Branches 0 Tags
Commit Graph

6 Commits

Author SHA1 Message Date
Rodrigo Arias Mallo
ededd2083b 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.

Reviewed-by: Aleix Roca Nonell <aleix.rocanonell@bsc.es>
 2025-10-01 16:40:16 +02:00
Rodrigo Arias Mallo
8b1fa938ea Add anavarro user 2025-10-01 16:40:16 +02:00
Rodrigo Arias Mallo
0c5207bd2d Set zsh shell for rarias 2025-10-01 16:40:16 +02:00
Rodrigo Arias Mallo
b610f12133 Move authorized keys to users.nix 2025-10-01 16:40:15 +02:00
Rodrigo Arias Mallo
b6aaeb8158 Add rpenacob user 2025-10-01 16:40:15 +02:00
Rodrigo Arias Mallo
d679fd6314 Simplify flake and expose host pkgs 
The configuration of the machines is now moved to m/
 2025-10-01 16:40:15 +02:00