Zsh Mailing List Archive
Messages sorted by:
Reverse Date,
Date,
Thread,
Author
Re: How to delete .*.~undo-tree~ files?
- X-seq: zsh-users 30026
- From: Marc Chantreux <mc@xxxxxxxxxx>
- To: Denis Bitouzé <dbitouze@xxxxxxxxxx>, zsh-users@xxxxxxx
- Subject: Re: How to delete .*.~undo-tree~ files?
- Date: Wed, 12 Jun 2024 15:11:58 +0200
- Archived-at: <https://zsh.org/users/30026>
- Dkim-filter: OpenDKIM Filter v2.10.3 zmtaauth02.partage.renater.fr 77C41A07F1
- In-reply-to: <ZmmT0KqwUXlWCS6m@eeyore.local>
- List-id: <zsh-users.zsh.org>
- References: <87wmmu79zu.fsf@example.com> <ZmmG4GUX2Zt_ElHR@prometheus> <87a5jq73p0.fsf@example.com> <ZmmT0KqwUXlWCS6m@eeyore.local>
On Wed, Jun 12, 2024 at 02:25:52PM +0200, Andreas Kähäri wrote:
> > doesn't remove in mass all the .*.~undo-tree~ in my current directory.
to be more obvious:
those are equivalent:
echo ".*.~undo-tree~"
echo \.\*\.\~\u\n\d\o\-\t\r\e\e\~
regards
--
Marc Chantreux
Pôle CESAR (Calcul et services avancés à la recherche)
Université de Strasbourg
14 rue René Descartes,
BP 80010, 67084 STRASBOURG CEDEX
03.68.85.60.79
Messages sorted by:
Reverse Date,
Date,
Thread,
Author