From 49d8ca666d1bb4b07be71b3e93444c6ceec29b65 Mon Sep 17 00:00:00 2001
From: Baptiste Grob <60621355+baptiste-grob@users.noreply.github.com>
Date: Wed, 13 May 2020 12:24:28 +0200
Subject: [PATCH] feat: allow dev server port configuration from CLI

---
 webpack.dev.js | 29 ++++++++++++++++-------------
 1 file changed, 16 insertions(+), 13 deletions(-)

diff --git a/webpack.dev.js b/webpack.dev.js
index 3fe87df80..d43339d5f 100644
--- a/webpack.dev.js
+++ b/webpack.dev.js
@@ -1,16 +1,19 @@
 const merge = require('webpack-merge');
 const config = require('./webpack.config.js');
 
-module.exports = merge(config, {
-  mode: 'development',
-  devServer: {
-    publicPath: '/dist/',
-    proxy: {
-      '/extensions': {
-        target: 'http://localhost:3001',
-        pathRewrite: { '^/extensions': '/public/extensions' }
-      }
-    },
-    port: 3001
-  }
-});
+module.exports = (_env, argv) => {
+  const port = argv.port || 3001;
+  return merge(config, {
+    mode: 'development',
+    devServer: {
+      publicPath: '/dist/',
+      proxy: {
+        '/extensions': {
+          target: `http://localhost:${port}`,
+          pathRewrite: { '^/extensions': '/public/extensions' }
+        }
+      },
+      port,
+    }
+  });
+};