diff --git a/.gitignore b/.gitignore index 968a3ec83a1bdd044ef94bc171ddd075262559b1..d612bea33f935a887a134bf9f59c08842f57cd8a 100644 --- a/.gitignore +++ b/.gitignore @@ -2,7 +2,6 @@ out/ .idea/ recorder-out/* -!recorder-out/webpack.config.js plugins/**/*.vsix !plugins/gitlens-*.vsix deadlock-plugins/**/*.vsix diff --git a/Dockerfile b/Dockerfile index 5b5e0f1e7907b812656b97e52e4862a39ef13601..4eda4a3dbe97de9f0a40c73cd270080b99dbb8ca 100644 --- a/Dockerfile +++ b/Dockerfile @@ -14,8 +14,7 @@ RUN chown theia /home/plugins -R COPY server.js /home/theia/src-gen/backend/server.js -COPY recorder-out/dist/main.js deadlock/recorder.js -COPY recorder-out/dist/preStop.js deadlock/preStop.js +COPY recorder-out/ deadlock/ COPY .gitignore_recorder deadlock/.gitignore COPY setup_trace.py . diff --git a/build-recorder.sh b/build-recorder.sh index cbc10ae700b07a41d1db8cd0e184e8305cc99e86..cd2cf4cebc367b36e3acc645f4a57ae263f0e401 100755 --- a/build-recorder.sh +++ b/build-recorder.sh @@ -11,6 +11,7 @@ npm run build-recorder npm run build-preStop cd - +mkdir -p $OUTPUT_DIR cp -r ./deadlock-plugins/deadlock-extension/out/recorder.js $OUTPUT_DIR cp -r ./deadlock-plugins/deadlock-extension/out/preStop.js $OUTPUT_DIR diff --git a/recorder-out/webpack.config.js b/recorder-out/webpack.config.js deleted file mode 100644 index 38742fc4813d9f32b86f3ab5d3342120952513dd..0000000000000000000000000000000000000000 --- a/recorder-out/webpack.config.js +++ /dev/null @@ -1,18 +0,0 @@ -const path = require('path'); -const TerserPlugin = require("terser-webpack-plugin"); - -module.exports = { - entry: { - main: './recorder/index.js', - preStop: './recorder/preStop.js', - }, - target: 'node', - output: { - filename: '[name].js', - path: path.resolve(__dirname, 'dist'), - }, - optimization: { - minimize: true, - minimizer: [new TerserPlugin()], - }, -}; \ No newline at end of file