[PATCH] Support nullglob in profile.sh.in

[Frank Ch. Eigler]

Hi -

> > Don't block on stdin when /etc/debuginfod/*.certpath expands to nothing.
> > Signed-off-by: Andreas Schwab <schwab@suse.de>

Thanks, committed as obvious.


> I slightly prefer "cat </dev/null" idiom as it stronger highlights the intent
> but this variant is also fine.

I see your point, but the other five cases in the profile.* use this
formulation, so for simpleminded consistency, went with the above.

- FChE