ajout de docker pour ocean

extraction-donnees-privees 2016-08-04-ocean
Jean-Pierre PRUNARET 9 years ago
parent 013b83c9a0
commit 2bcc6944b2

@ -159,6 +159,10 @@ in
isPrunetwork = true; isPrunetwork = true;
isServer = true; isServer = true;
}; };
r6d.config-generator = {
docker = true;
};
}) })
(mkIf comp.isRadx { (mkIf comp.isRadx {
r6d.profiles = { r6d.profiles = {

Loading…
Cancel
Save