1
0
Fork 0
mirror of git://git.code.sf.net/p/zsh/code synced 2025-10-28 05:00:59 +01:00

42636: fix GLOB_DOTS for !(RM_STAR_SILENT)

Also fix paste-o in older log entry
This commit is contained in:
Barton E. Schaefer 2018-04-15 10:56:35 -07:00
parent 5bd659352f
commit 517cda3832
2 changed files with 10 additions and 5 deletions

View file

@ -2775,10 +2775,11 @@ checkrmall(char *s)
const int max_count = 100;
if ((rmd = opendir(unmeta(s)))) {
int ignoredots = !isset(GLOBDOTS);
/* ### TODO: Passing ignoredots here is wrong. See workers/41672
aka <https://bugs.debian.org/875460>.
*/
while (zreaddir(rmd, ignoredots)) {
char *fname;
while (fname = zreaddir(rmd, 1)) {
if (ignoredots && *fname == '.')
continue;
count++;
if (count > max_count)
break;