|
|
@@ -154,8 +154,9 @@
|
|
|
let
|
|
|
dtdesignRepo = builtins.fetchGit {
|
|
|
url = "git@msdl.uantwerpen.be:lucasalbertins/DTDesign.git";
|
|
|
- rev = "795cb854077d82fa6370ad64b8b6f06530e11bbc";
|
|
|
- ref = "main";
|
|
|
+ # Which version of DTDesign repo to include...
|
|
|
+ rev = "3b3476e75345838755103dc84798102bda3526fb";
|
|
|
+ ref = "fm-cdf-demo";
|
|
|
shallow = true;
|
|
|
};
|
|
|
in pkgs.dockerTools.buildImage {
|
|
|
@@ -167,11 +168,12 @@
|
|
|
'';
|
|
|
config = {
|
|
|
Env = [ "PROJECTDIR=/projectdir" ]; # tell the script where the projectdir is at.
|
|
|
- Cmd = [ "${serviceMonitor}" ]; # ran when container starts
|
|
|
+ Cmd = [ "${serviceMonitor}/bin/serviceMonitor" ]; # ran when container starts
|
|
|
ExposedPorts = {
|
|
|
"5000/tcp" = {}; # python backend
|
|
|
"3030/tcp" = {}; # fuseki
|
|
|
"8700/tcp" = {}; # lightttp (serving drawio)
|
|
|
+ "8081/tcp" = {}; # wee
|
|
|
};
|
|
|
Volumes = {
|
|
|
"/projectdir" = {}; # path to persist as Docker 'Volume'
|