Mailing-List: contact zsh-workers-help@zsh.org; run by ezmlm
Precedence: bulk
From: Bart Schaefer <schaefer@brasslantern.com>
Message-Id: <160210132048.ZM3836@torch.brasslantern.com>
Date: Wed, 10 Feb 2016 13:20:48 -0800
In-Reply-To: <20160210164150.5bef82b2@pwslap01u.europe.root.pri>
Comments: In reply to Peter Stephenson <p.stephenson@samsung.com>
        "PATCH: rm * with count" (Feb 10,  4:41pm)
References: <20160210164150.5bef82b2@pwslap01u.europe.root.pri>
To: "Zsh Hackers' List" <zsh-workers@zsh.org>
Subject: Re: PATCH: rm * with count
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii

On Feb 10,  4:41pm, Peter Stephenson wrote:
} Subject: PATCH: rm * with count
}
} Faced with a "rm *" prompt, it occurred to me it might be a little bit
} more helpful to decide if something has gone really horribly wrong if we
} made the easy tweak to count the number of files in the directory.
} 
} Any comments on the following?

My only comment would be that this can potentially take a long time if
the number of files in the directory is large.  Perhaps stop after some
number (100?) and prompt with

    "sure you want to delete more than %d files in "

Also if the count is zero maybe the prompt should say something about
"no files to remove" or something.