Overview
Artifact ID: | ec079474ef3d4ec3acd036e8a667a46d1677195a |
---|---|
Ticket: | 0bc90d7235404d16c7dbc7a52394b7dc8f56aef8
fossil clean and ignore-glob |
User & Date: | anonymous 2010-10-15 07:54:00 |
Changes
- Appended to comment:
<hr /><i>anonymous added on 2010-10-15 07:54:00:</i><br /> By reading the documentation I thought that clean would honor ignore-glob. Excerpt from help: Delete all "extra" files in the source tree. "Extra" files are files that are not officially part of the checkout. See also the "extra" command. For me this implies that clean deletes everything that is shown in extras (by the way, there is a typo, the command is extras :). For me the natural thing would be to honor ignore-glob by default, as git does. Otherwise, an option to do so would be really useful.