Skip to content
Snippets Groups Projects

Resolve "Gui config created in wrong directory?"

Merged Adam Fekete requested to merge 1221-gui-config-created-in-wrong-directory into develop
1 file
+ 3
0
Compare changes
  • Side-by-side
  • Inline
+ 3
0
@@ -20,3 +20,6 @@ pip install -e ".[infrastructure,parsing,dev]"
mkdocs build
mkdir -p nomad/app/static/docs
cp -r site/* nomad/app/static/docs
# Generate a config file for the GUI
python -m nomad.cli dev gui-config >gui/public/env.js
Loading