From 72a7791ef160d4627c9951d84559af09061f7a0d Mon Sep 17 00:00:00 2001 From: David Perry Date: Mon, 27 Feb 2023 06:50:24 -0500 Subject: [PATCH] Add mintty (#223) --- programs/mintty.json | 10 ++++++++++ 1 file changed, 10 insertions(+) create mode 100644 programs/mintty.json diff --git a/programs/mintty.json b/programs/mintty.json new file mode 100644 index 0000000..2975d64 --- /dev/null +++ b/programs/mintty.json @@ -0,0 +1,10 @@ +{ + "files": [ + { + "path": "$HOME/.minttyrc", + "movable": true, + "help": "Supported out of the box, just move the file to:\n\n```bash\n$XDG_CONFIG_HOME/mintty/config \n```\n" + } + ], + "name": "mintty" +} -- 2.47.3