Mitchell Hashimoto 53468541f7 Use \w instead of $PWD for title bar (#4656)
The `PS1=` variable in the bash integration for the title bar could use
[`\w`](https://www.man7.org/linux/man-pages//man1/bash.1.html#PROMPTING)
rather than `$PWD` to indicate the working directory.

The effect is to replace any leading instance of `$HOME` with a tilde,
so `/Users/patrick/code` becomes `~/code`. It also respects
[`$PROMPT_DIRTRIM`](https://www.man7.org/linux/man-pages//man1/bash.1.html#PARAMETERS),
if any. It looks cleaner to me, especially if there are multiple tabs
open.

Implements #4643 (cc discussion #4601).
2025-01-05 18:51:23 -08:00
..
2025-01-05 12:35:50 -08:00
2024-03-26 16:14:25 -07:00
2024-12-31 09:36:23 +01:00
2025-01-04 14:27:23 -08:00
2024-08-16 10:49:37 -07:00
2024-08-16 10:57:19 -07:00
2024-06-24 15:16:24 -07:00
2024-09-26 22:00:11 -07:00
2025-01-05 12:27:11 -08:00
2024-10-18 08:11:11 -07:00
2024-02-09 20:05:11 +01:00
2024-08-16 14:35:10 -07:00
2022-08-18 11:42:32 -07:00
2024-08-16 10:36:10 -07:00