]> git.plutz.net Git - blast/commitdiff
set sensor address in js user interface
authorPaul Hänsch <paul@plutz.net>
Sat, 7 Dec 2019 04:22:49 +0000 (05:22 +0100)
committerPaul Hänsch <paul@plutz.net>
Sat, 7 Dec 2019 04:22:49 +0000 (05:22 +0100)
modules/remo2hbo.mk

index d82278e7410220122a592e5315b960e615d4f44d..510186079fdefac826bc1095b6f50ac65e83dfa1 100644 (file)
@@ -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: