commit 1821ca35b5dccfd337f0c3ba819c6e7f3deb840a
parent 3c4eac14da30aa289242e9bd7deacc571043e7b9
Author: Anders Damsgaard <anders@adamsgaard.dk>
Date: Sat, 9 Oct 2021 20:17:42 +0200
add Makefile for installing to default firefox profile dir
Signed-off-by: Christoph Lohmann <20h@r-36.net>
Diffstat:
2 files changed, 17 insertions(+), 3 deletions(-)
diff --git a/firefox/Makefile b/firefox/Makefile
@@ -0,0 +1,15 @@
+.POSIX:
+
+SRC = user.js
+FIREFOXDIR = ${HOME}/.mozilla/firefox
+PROFILE != awk '/Default=[A-z0-9][A-z0-9]+/ {sub(/.*=/, "", $$0); print $$0}' ${FIREFOXDIR}/profiles.ini
+
+install: ${SRC}
+ cp ${SRC} ${FIREFOXDIR}/${PROFILE}/
+
+uninstall:
+ for f in ${SRC}; do \
+ rm ${FIREFOXDIR}/${PROFILE}/"$$f"; \
+ done
+
+.PHONY: install uninstall
diff --git a/firefox/README.md b/firefox/README.md
@@ -4,7 +4,8 @@ Mozilla hates users and developers. They provide ugly APIs and long
lists of ways to get all your data. You are not informed at all. As of
May 2020 Firefox is worse in hating your privacy than Google.
-Copy the user.js to your profile, which mostly resides in
+To install, run `make install`, which copy the user.js to your default
+profile, residing in:
$HOME/.mozilla/firefox/$ugly-named-profile
@@ -12,6 +13,4 @@ For blocking firefox asking mozilla hosts for some lists, also consider
using the blocking files in hosts-gen of this repository. Sadly this
cannot be configured.
-
Have fun!
-
