makefile

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