From: Paul Hänsch <paul@plutz.net>
Date: Sat, 7 Dec 2019 04:22:49 +0000 (+0100)
Subject: set sensor address in js user interface
X-Git-Url: http://git.plutz.net/?p=blast;a=commitdiff_plain;h=29678818188e331a79eca50348243a19af4ec9d2

set sensor address in js user interface
---

diff --git a/modules/remo2hbo.mk b/modules/remo2hbo.mk
index d82278e..5101860 100644
--- a/modules/remo2hbo.mk
+++ b/modules/remo2hbo.mk
@@ -93,6 +93,7 @@ ${CFGROOT}/usr/local/bin/teesock: teesock/teesock.arm ${CFGROOT}
 
 ${CFGROOT}/srv/gummikraken: gummikraken/ ${CFGROOT}
 	cp -au "$</." "$@"
+	sed -i 's;http://141.45.146.235:8200;http://oktopus:8200;' "$@/oktopus_frontend/dist/bundle.js"
 
 .PHONY: gummikraken_clone
 gummikraken_clone: