On Tue, 13 Oct 2020 21:37:11 +0200, Christian Weisgerber wrote: > As far as I understand, the basename() here is specifically intended > to skip a leading "/dev/". So how about doing this expressly?
That works for me. > Do we want to use _PATH_DEV or "/dev/"? There's a "/dev/rst%d" a > few lines outside of the diff context... I'd use _PATH_DEV but it doesn't really matter. It is not like we can really change the value of _PATH_DEV. OK millert@ either way. - todd
