mirrors/zsh
1
0
Fork 0
mirror of git://git.code.sf.net/p/zsh/code synced 2025-10-30 05:40:58 +01:00
Code Releases Activity

unposted (cf. 41672): checkrmall: Record the 41672 bug in a TODO.

Browse source
This commit is contained in:
Daniel Shahaf 2017-09-21 18:17:02 +00:00
parent 15bed0db40
commit ced82745ea
2 changed files with 6 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
Src/utils.c
View file

@ -2709,6 +2709,9 @@ 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)) {
count++;
if (count > max_count)