From: Mark Wooding <mdw@distorted.org.uk>
Date: Sat, 13 Jul 2024 19:44:52 +0000 (+0100)
Subject: Makefile: Create dummy PuTTY `Default%20Settings' file.
X-Git-Url: https://www.chiark.greenend.org.uk/ucgi/~mdw/git/profile/commitdiff_plain/d1c77d518b14a898535c172c32d0f795da910011?ds=sidebyside

Makefile: Create dummy PuTTY `Default%20Settings' file.

Because of an ill-advised and mostly-reverted change, PuTTY ignores
boolean settings from X resources unless this file exists, so make sure
that it does.  Because that file used to be maintained here, it might
be a dangling symlink, which is no good: notice this and create an
empty file instead.
---

diff --git a/Makefile b/Makefile
index 29359c0..15a6703 100644
--- a/Makefile
+++ b/Makefile
@@ -356,6 +356,12 @@ DOTCPP			+= .Xdefaults
 Xdefaults_DEFS		 = -DEMACSWD=$(call mdw-conf,emacs-width,77)
 $(HOME)/.Xdefaults: $(HOME)/.mdw.conf dot/Xdefaults.pterm
 
+all: | $(HOME)/.putty/sessions/Default%20Settings
+$(HOME)/.putty/sessions/Default\%20Settings: | $$(dir $$@)
+	$(call v_tag,TOUCH)\
+		if [ ! -f $@ ]; then rm -f $@; fi && \
+		touch $@
+
 ifeq ($(shell case $${DISPLAY-nil} in (:[0-9]*) echo t ;; (*) echo nil ;; esac),t)
 dotfile-hook/.Xdefaults = \
 	$(call v_tag,XRDB)xrdb -load $<