chiark / gitweb /
dot/Xdefaults, Makefile: Replace `putty-defaults' with X resources.
authorMark Wooding <mdw@distorted.org.uk>
Sun, 24 May 2020 03:21:16 +0000 (04:21 +0100)
committerMark Wooding <mdw@distorted.org.uk>
Sun, 24 May 2020 03:25:35 +0000 (04:25 +0100)
commit57a9b0cde80eab7eb406389a37cd851539c55a57
tree04c2ca806010ca4ac3601da28bb59f8c691e5e81
parentf5a7f2454290ef7473e0b32def4486d0b50096d0
dot/Xdefaults, Makefile: Replace `putty-defaults' with X resources.

This is more cumbersome to set up, but ends up being more useful.  Using
X resources, it's possible to have a number of different profiles for
`pterm' which can be switched using the `-name' option.  Also, this
allows for overriding on the command-line using `-xrm', which doesn't
work if the settings are defined in `pterm''s own configuration file.
Makefile
dot/Xdefaults
dot/Xdefaults.pterm [new file with mode: 0644]
dot/putty-defaults [deleted file]