diff options
| author | George Ordish <george.ordish17@imperial.ac.uk> | 2019-09-03 12:34:44 +0100 |
|---|---|---|
| committer | Cristian Cadar <c.cadar@imperial.ac.uk> | 2020-01-17 18:36:56 +0000 |
| commit | 2b9233c34e73e5191ae932500356fced35ee2ca1 (patch) | |
| tree | 265cc0dfc8deacb04c3e5cbfba08dc243511a552 /utils/grafana/Dockerfile | |
| parent | 67018f6facc1134ada21a6ea4cd1044ed4b97dd3 (diff) | |
| download | klee-2b9233c34e73e5191ae932500356fced35ee2ca1.tar.gz | |
Add Dockerfile for preconfigured Grafana
This Dockerfile provides a Grafana server with a preconfigured dashboard and a datasource that will connect to klee-stats, as soon as klee-stats is run.
Diffstat (limited to 'utils/grafana/Dockerfile')
| -rw-r--r-- | utils/grafana/Dockerfile | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/utils/grafana/Dockerfile b/utils/grafana/Dockerfile new file mode 100644 index 00000000..bde57965 --- /dev/null +++ b/utils/grafana/Dockerfile @@ -0,0 +1,10 @@ +FROM grafana/grafana + +RUN grafana-cli plugins install grafana-simple-json-datasource + +COPY grafana.ini /etc/grafana/grafana.ini +COPY dashboard.yml /etc/grafana/provisioning/dashboards/dashboard.yml +COPY datasource.yml /etc/grafana/provisioning/datasources/datasource.yml +COPY klee_dashboard.json /var/lib/grafana/dashboards/klee.json + +ENTRYPOINT ["/run.sh"] |