@sleve_mcdichael said in Eduke bug in toxic dump with the second shrink room.:

I suppose it could just be [[ ! -f "$dest/duke3d.grp" && ! -f "$dest/DUKE3D.GRP" ]], but this still wouldn't catch mixed-case like Duke3d.grp if someone had that, and I'm sure we don't want to test for all 2^(8)=256 combinations.

Sometimes it's just easier to rename the file. Steam and GOG releases have lowercase names for .grp files, so most of installations would be covered.