fix(extension): fix extension setup (#1012)

* fix(extension): use rm instead of trash * fix(extension): use the appropriate peer-deps for web-ext and eslint-plugin-mozilla * refactor(extension): moved .gitignore rules into Extension * fix(extension): fix prettier setup
openwpm · Oct 14, 2022 · abf10d7 · abf10d7
1 parent d050824
commit abf10d7
Show file tree

Hide file tree

Showing 21 changed files with 1,654 additions and 2,026 deletions.
diff --git a/.gitignore b/.gitignore
@@ -90,10 +90,4 @@ docs/apidoc/
 # npm packages
 node_modules
 
-# built extension artifacts
-Extension/dist
-Extension/openwpm.xpi
-Extension/bundled/content.js
-Extension/bundled/feature.js
-
 datadir
diff --git a/Extension/.gitignore b/Extension/.gitignore
@@ -8,4 +8,10 @@ coverage
 .nyc_output
 *.log
 
-yarn.lock
+yarn.lock
+
+# built extension artifacts
+dist
+openwpm.xpi
+bundled/content.js
+bundled/feature.js
diff --git a/Extension/.prettierignore b/Extension/.prettierignore
@@ -1,6 +1,17 @@
+node_modules
+build
+test
+src/**.js
+.idea/*
+
+coverage
+.nyc_output
+*.log
+
+yarn.lock
+
+# built extension artifacts
+dist
+openwpm.xpi
 bundled/content.js
 bundled/feature.js
-bundled/privileged/sockets/bufferpack.js
-dist
-build
-node_modules
diff --git a/Extension/.prettierrc.json b/Extension/.prettierrc.json
@@ -0,0 +1 @@
+{}