déplacement des options de profils dans + spécifique

pull/7/head
Jean-Pierre PRUNARET 9 years ago
parent f632193558
commit 72eaf19f95

@ -150,11 +150,8 @@ in
r6d.profiles.isDesktop = true; r6d.profiles.isDesktop = true;
r6d.config-generator = { r6d.config-generator = {
cartographie = true;
docker = true; docker = true;
edition-photo = true;
edition-video = true;
}; };
}) })
@ -168,12 +165,15 @@ in
}) })
(mkIf (pfl.isDubronetwork && pfl.isWorkstation) { (mkIf (pfl.isDubronetwork && pfl.isWorkstation) {
r6d.config-generator = { r6d.config-generator = {
cartographie = true;
conception-assistee = true; conception-assistee = true;
developpement = true; developpement = true;
developpement-haskell = true; developpement-haskell = true;
developpement-java = true; developpement-java = true;
developpement-rust = true; developpement-rust = true;
edition-musique = true; edition-musique = true;
edition-photo = true;
edition-video = true;
virtualbox = true; virtualbox = true;
xmonad = true; xmonad = true;
}; };
@ -191,9 +191,13 @@ in
}) })
(mkIf (pfl.isPrunetwork && pfl.isWorkstation) { (mkIf (pfl.isPrunetwork && pfl.isWorkstation) {
r6d.config-generator = { r6d.config-generator = {
cartographie = true;
developpement = true; developpement = true;
developpement-haskell = true; developpement-haskell = true;
developpement-java = true; developpement-java = true;
#edition-musique = true;
edition-photo = true;
#edition-video = true;
print = true; print = true;
virtualbox = true; virtualbox = true;
}; };

Loading…
Cancel
Save