From e7f729ad9197a5b4bdab5129ac74f710185f51d1 Mon Sep 17 00:00:00 2001
From: Andrew Rowley <Andrew.Rowley@manchester.ac.uk>
Date: Tue, 1 Aug 2023 11:31:12 +0100
Subject: [PATCH] Add SpiNNaker config file

---
 base/.spynnaker.cfg | 5 +++++
 base/Dockerfile     | 1 +
 2 files changed, 6 insertions(+)
 create mode 100644 base/.spynnaker.cfg

diff --git a/base/.spynnaker.cfg b/base/.spynnaker.cfg
new file mode 100644
index 0000000..ced41ee
--- /dev/null
+++ b/base/.spynnaker.cfg
@@ -0,0 +1,5 @@
+[Machine]
+spalloc_server = https://spinnaker.cs.man.ac.uk/spalloc/
+
+[Java]
+use_java = True
diff --git a/base/Dockerfile b/base/Dockerfile
index d36f855..7288042 100644
--- a/base/Dockerfile
+++ b/base/Dockerfile
@@ -124,6 +124,7 @@ RUN fix-permissions /opt/app-root/ && \
 COPY base/passwd.template /tmp/passwd.template
 COPY base/group.template /tmp/group.template
 COPY base/start-notebook.sh /opt/app-root/etc/
+COPY base/.spynnaker.cfg /opt/root/src/
 RUN chmod +x /opt/app-root/etc/start-notebook.sh
 
 WORKDIR /opt/app-root/src/
-- 
GitLab