From 2fab32c044dfeff8bd828b04400cdd46500fc553 Mon Sep 17 00:00:00 2001
From: Alex <apuret@takima.fr>
Date: Wed, 8 Dec 2021 12:18:04 +0100
Subject: [PATCH] fix: recorder building
---
.gitignore | 1 -
Dockerfile | 3 +--
build-recorder.sh | 1 +
recorder-out/webpack.config.js | 18 ------------------
4 files changed, 2 insertions(+), 21 deletions(-)
delete mode 100644 recorder-out/webpack.config.js
diff --git a/.gitignore b/.gitignore
index 968a3ec8..d612bea3 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 5b5e0f1e..4eda4a3d 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 cbc10ae7..cd2cf4ce 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 38742fc4..00000000
--- 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
--
GitLab