On Sun, Aug 16 2026, David Bremner wrote:
> inwit <[email protected]> writes:
>>
>> +xdg_config_cli () {
>> + local dir
>> + local profile=${1:-default}
>> + backup_config
>> + dir="${HOME}/.config/notmuch/${profile}"
>> + rm -rf $dir
> I wonder if we should have " " around $dir here?
> Basically if $HOME has spaces, the whole build will blow up, but maybe
> extra caution for rm -rf is suitable.
Definitely "$dir" (HOME seldom has spaces (nor $1)). At least it is
good for example.
... but, dir=${HOME}/.config/notmuch/${profile} would have worked
(I am not suggesting to change that, though :D)
Tomi
_______________________________________________
notmuch mailing list -- [email protected]
To unsubscribe send an email to [email protected]
