makefile

   1 OUTPUT = user.js
   2 SRCS =         \
   3   certificates \
   4   cookies      \
   5   media        \
   6   referer      \
   7   search       \
   8   speculation  \
   9   tracking     \
  10   ui
  11
  12 $(OUTPUT): $(SRCS)
  13         cat $(SRCS) > $@
  14
  15 clean:
  16         rm -f $(OUTPUT)
  17
  18 # Create a symlink from any profile directories under ~/.mozilla/firefox
  19 # to the output file in this directory. A "profile directory" is any
  20 # directory that has a "prefs.js" file in it.
  21 #
  22 # This will only work if you run "make install" in the same directory
  23 # as the makefile! This is fine; building the output file only works
  24 # in that one place too.
  25 .PHONY: install
  26 install: $(OUTPUT)
  27         for dir in ~/.mozilla/firefox/*.*; do \
  28             if [ -f "$${dir}/prefs.js" ]; then \
  29               if [ ! -e "$${dir}/$(OUTPUT)" ]; then \
  30                 ln -s "$(shell pwd)/$(OUTPUT)" "$${dir}/$(OUTPUT)"; \
  31               fi; \
  32             fi; \
  33         done;