diff options
-rw-r--r-- | flake.nix | 4 | ||||
-rw-r--r-- | viewer/.env.development | 1 | ||||
-rw-r--r-- | viewer/vue.config.js | 1 |
3 files changed, 6 insertions, 0 deletions
@@ -164,6 +164,10 @@ | |||
164 | restrictNetwork = false; | 164 | restrictNetwork = false; |
165 | patchQemu9p = true; | 165 | patchQemu9p = true; |
166 | tools = devTools; | 166 | tools = devTools; |
167 | envVars = { | ||
168 | # File modification watch doesn't work through the VM for live reload. | ||
169 | VUE_APP_WEBPACK_WATCH_POLL = "1000"; | ||
170 | }; | ||
167 | config = { | 171 | config = { |
168 | # The viewer's build and devel server are resource-hungry. | 172 | # The viewer's build and devel server are resource-hungry. |
169 | virtualisation.cores = 2; | 173 | virtualisation.cores = 2; |
diff --git a/viewer/.env.development b/viewer/.env.development index 0d87cf4..7e9a240 100644 --- a/viewer/.env.development +++ b/viewer/.env.development | |||
@@ -1,3 +1,4 @@ | |||
1 | VUE_APP_DEVSERVER_PORT=8085 | 1 | VUE_APP_DEVSERVER_PORT=8085 |
2 | VUE_APP_DEVSERVER_CONFIG_PATH=../example/ | 2 | VUE_APP_DEVSERVER_CONFIG_PATH=../example/ |
3 | VUE_APP_DATA_URL=~/ | 3 | VUE_APP_DATA_URL=~/ |
4 | VUE_APP_WEBPACK_WATCH_POLL=0 | ||
diff --git a/viewer/vue.config.js b/viewer/vue.config.js index ef6d262..ffaaeee 100644 --- a/viewer/vue.config.js +++ b/viewer/vue.config.js | |||
@@ -41,6 +41,7 @@ module.exports = defineConfig({ | |||
41 | }, | 41 | }, |
42 | watchOptions: { | 42 | watchOptions: { |
43 | ignored: /node_modules/, | 43 | ignored: /node_modules/, |
44 | poll: parseInt(process.env.VUE_APP_WEBPACK_WATCH_POLL ?? 0), | ||
44 | }, | 45 | }, |
45 | }, | 46 | }, |
46 | 47 | ||