11var webpackBaseConfig = require ( './webpack.config.js' ) ;
2+ var path = require ( 'path' ) ;
23var extended = webpackBaseConfig ( ) ;
4+
35extended . devServer = {
4- progress : true ,
6+ progress : false ,
57 port : 8081 ,
68 inline : true ,
9+ publicPath : '/geppetto/build' ,
10+
11+ proxy : [
12+ {
13+ path : '/' ,
14+ target : 'http://localhost:8888'
15+ } ,
16+ {
17+ path : '/org.geppetto.frontend' ,
18+ target : 'ws://localhost:8888' ,
19+ ws : true
20+ } ,
21+ {
22+ path : '/notebooks' ,
23+ target : 'http://localhost:8888'
24+ } ,
25+ {
26+ path : '/api' ,
27+ target : 'http://localhost:8888'
28+ } ,
29+ {
30+ path : '/api/kernels' ,
31+ target : 'ws://localhost:8888' ,
32+ ws : true
33+ } ,
34+ {
35+ path : '/static' ,
36+ target : 'http://localhost:8888'
37+ } ,
38+ {
39+ path : '/custom' ,
40+ target : 'http://localhost:8888'
41+ } ,
42+
43+ {
44+ path : '/nbextensions' ,
45+ target : 'http://localhost:8888'
46+ } ,
47+ ] ,
48+ } ;
49+
750
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- } , ] ,
51+ extended . optimization = {
52+ ...extended . optimization ,
53+ removeAvailableModules : false ,
54+ removeEmptyChunks : false ,
1955} ;
2056
21- extended . devtool = 'source-map' ;
57+ extended . devtool = 'eval- source-map' ;
2258
23- module . exports = extended ;
59+ module . exports = extended ;
0 commit comments