11var webpackBaseConfig = require ( './webpack.config.js' ) ;
22var extended = webpackBaseConfig ( ) ;
3+
34extended . devServer = {
4- progress : true ,
5+ progress : false ,
56 port : 8081 ,
67 inline : true ,
8+ publicPath : '/geppetto/build' ,
9+
10+ proxy : [
11+ {
12+ path : '/' ,
13+ target : 'http://localhost:8888'
14+ } ,
15+ {
16+ path : '/org.geppetto.frontend' ,
17+ target : 'ws://localhost:8888' ,
18+ ws : true
19+ } ,
20+ {
21+ path : '/notebooks' ,
22+ target : 'http://localhost:8888'
23+ } ,
24+ {
25+ path : '/api' ,
26+ target : 'http://localhost:8888'
27+ } ,
28+ {
29+ path : '/api/kernels' ,
30+ target : 'ws://localhost:8888' ,
31+ ws : true
32+ } ,
33+ {
34+ path : '/static' ,
35+ target : 'http://localhost:8888'
36+ } ,
37+ {
38+ path : '/custom' ,
39+ target : 'http://localhost:8888'
40+ } ,
41+
42+ {
43+ path : '/nbextensions' ,
44+ target : 'http://localhost:8888'
45+ } ,
46+ ] ,
47+ } ;
48+
749
8- proxy : [ {
9- path : '/' ,
10- target : 'http://localhost:8080/'
11- } , {
12- path : '/geppetto' ,
13- target : 'http://localhost:8080/org.geppetto.frontend'
14- } , {
15- path : '/org.geppetto.frontend' ,
16- target : 'ws://localhost:8080' ,
17- ws : true
18- } , ] ,
50+ extended . optimization = {
51+ ...extended . optimization ,
52+ removeAvailableModules : false ,
53+ removeEmptyChunks : false ,
1954} ;
2055
2156extended . devtool = 'source-map' ;
2257
23- module . exports = extended ;
58+ module . exports = extended ;
0 commit comments