Configuration for whatever GUI terminal emulator I've been using lately (for use with vcsh)
Go to file
David Thurstenson f378ce6dd0 Enable dynamic window titles 2021-06-23 12:25:25 -05:00
.config Enable dynamic window titles 2021-06-23 12:25:25 -05:00