Skip to content

Commit

Permalink
Merge pull request #908 from readthedocs/agj/better-webpack-dev-server
Browse files Browse the repository at this point in the history
Improve webpack dev server
  • Loading branch information
ericholscher authored May 4, 2020
2 parents db4fae9 + cb16df1 commit c3a9306
Showing 1 changed file with 13 additions and 8 deletions.
21 changes: 13 additions & 8 deletions webpack.dev.js
Original file line number Diff line number Diff line change
Expand Up @@ -8,24 +8,29 @@ const common = require("./webpack.common.js");
module.exports = merge(common, {
mode: "development",
watch: true,
// The dev server uses both contentBase and publicPath. The contentBase is
// used to server the built docs, and publicPath is the bundle path for live
// reloading. The publicPath intercepts requests to the static assets in
// _static/. Opening http://localhost:1919 is everything you need for
// development.
devServer: {
contentBase: path.join(__dirname, "docs/build/html"),
watchContentBase: true,
compress: false,
contentBase: "docs/build/html",
port: 1919,
open: false,
hot: false,
liveReload: true,
publicPath: "/_static/"
publicPath: "/_static/",
disableHostCheck: true,
headers: {
"Access-Control-Allow-Origin": "*"
}
},
plugins: [
new WatchPlugin({
files: ["./docs/**/*.rst", "./docs/**/*.py"]
}),
new ShellPlugin({
onBuildEnd: ["make -C docs clean html"],
// dev=false here to force every build to trigger make, the default is
// first build only.
dev: false
onBuildStart: ["make -C docs clean html"],
})
]
});

0 comments on commit c3a9306

Please # to comment.