Files
Matthias Urlichs bba4ce2286 Don't complain about unset 'sourced'
If the user's bash profile contains 'set -u' (to protect against typos
in variable names; think "rm -Rf $TMp/*"), starting a new kitty terminal
resulted in a spurious `bash: sourced: unbound variable` message.
2025-09-13 11:51:51 +02:00
..
2025-09-13 11:51:51 +02:00