Makefile
changeset 914 0dba496629c9
parent 910 60635dc58066
child 918 0cba37c54a9e
--- a/Makefile	Thu Dec 20 00:47:02 2018 +0200
+++ b/Makefile	Sun Dec 30 12:21:48 2018 +0200
@@ -17,6 +17,16 @@
 .DEFAULT_GOAL = help
 
 ################################################################
+# Config.
+
+CFG_FILE := Makefile.cfg
+include $(CFG_FILE)
+
+# Override defaults.
+CFG_LOCAL_FILE := Makefile.cfg.override
+-include $(CFG_LOCAL_FILE)
+
+################################################################
 # Platform definition.
 
 ifeq '' '$(HOME)'
@@ -51,7 +61,7 @@
 
 OVERRIDDEN_ITEMS := \
     .fvwm .xxkbrc .xmodmaprc .stalonetrayrc \
-    .inputrc .minttyrc .Xdefaults .xinitrc .xserverrc .screenrc \
+    .inputrc .Xdefaults .xinitrc .xserverrc .screenrc \
     .dircolors .colordiffrc \
     .env .bashrc .bash_completion .bash_completion.d .zshrc .vimrc .ssh \
     .pylintrc .pystartup .tclshrc .npmrc .guile \
@@ -171,6 +181,7 @@
 endif
 	mkdir -p $(HOME)/.local/share/applications/
 	$(INSTALL_DATA) .local/share/applications/mimeapps.list $(HOME)/.local/share/applications/
+	sed -e 's=@CFG_FONT_SIZE@=$(CFG_FONT_SIZE)=' <.minttyrc >$(HOME)/.minttyrc
 
 .PHONY: uninstall
 uninstall: