Re: [fossil-users] Issue with ignore-glob

On 2017-04-12 01:46, Ross Berteig wrote: In any case, you don't generally want to do addremove and commit in a single operation because that doesn't give you a chance to review (and test) what it decided to add and remove before it is committed to immutable history. That's certainly true for a

Re: [fossil-users] Issue with ignore-glob

On 2017-04-11 23:41, Scott Robison wrote: Okay, so you *do* want (or at least expected) the use of --ignore (in the context of addremove) to "rm" files already being managed. Which is not an unreasonable desire, certainly could make some work flows easier. The addremove command was structured aro

Re: [fossil-users] Issue with ignore-glob

On 4/11/2017 3:24 PM, Thomas wrote: This is actually one of the sources I based my exclusion list on. I added other files too. I replaced all # characters at the beginning of each line with semicolons, extracted the files like [Tt]umbs.db to Thumbs.db and thumbs.db, saved it, and let my batch f

Re: [fossil-users] Issue with ignore-glob

On 4/11/2017 3:24 PM, Thomas wrote: On 2017-04-11 23:09, Ross Berteig wrote: On 4/10/2017 11:48 AM, Thomas wrote: Actually, I got a batch file that reads the file filter settings from another file and creates the binary-glob and the ignore-glob files on the fly before an addremove and a comm

Re: [fossil-users] Issue with ignore-glob

[Default] On Tue, 11 Apr 2017 21:25:31 +0100, Thomas wrote: >On 2017-04-11 21:04, Ross Berteig wrote: >> The fossil addremove command is a convenience command that scans the >> tree, obeying some of the glob settings, and applies fossil add and >> fossil forget command as needed to make the list

Re: [fossil-users] Issue with ignore-glob

On Tue, Apr 11, 2017 at 4:11 PM, Thomas wrote: > On 2017-04-11 22:51, Scott Robison wrote: >> >> On Tue, Apr 11, 2017 at 3:39 PM, Scott Robison >> wrote: >>> >>> On Tue, Apr 11, 2017 at 3:21 PM, Thomas wrote: On 2017-04-11 22:11, Thomas wrote: add --ignoreIgno

Re: [fossil-users] Issue with ignore-glob

On 2017-04-11 23:09, Ross Berteig wrote: On 4/10/2017 11:48 AM, Thomas wrote: Actually, I got a batch file that reads the file filter settings from another file and creates the binary-glob and the ignore-glob files on the fly before an addremove and a commit (crlf-glob is not created and only c

Re: [fossil-users] Issue with ignore-glob

On 2017-04-11 22:51, Scott Robison wrote: On Tue, Apr 11, 2017 at 3:39 PM, Scott Robison wrote: On Tue, Apr 11, 2017 at 3:21 PM, Thomas wrote: On 2017-04-11 22:11, Thomas wrote: add --ignoreIgnore unmanaged files matching patterns from the comma separated l

Re: [fossil-users] Issue with ignore-glob

On 4/10/2017 11:48 AM, Thomas wrote: Actually, I got a batch file that reads the file filter settings from another file and creates the binary-glob and the ignore-glob files on the fly before an addremove and a commit (crlf-glob is not created and only contains an asterisk now). Why do this

Re: [fossil-users] Issue with ignore-glob

On 2017-04-11 22:21, Thomas wrote: On 2017-04-11 22:11, Thomas wrote: On 2017-04-11 22:01, Scott Robison wrote: I was thinking about that earlier (well, a warning, not an error, which presumes you can't continue). Then the questions I put above came into my mind so I didn't bring it up. What wo

Re: [fossil-users] Issue with ignore-glob

I've been using fossil for several years now, so when I set up a new fossil my first operation is to copy over an existing .fossil-settings and commit, so I haven't been exposed to this problem for a while. I certainly remember when I first used it that it did some unexpected things. Perhaps if th

Re: [fossil-users] Issue with ignore-glob

On Tue, Apr 11, 2017 at 3:39 PM, Scott Robison wrote: > On Tue, Apr 11, 2017 at 3:21 PM, Thomas wrote: >> On 2017-04-11 22:11, Thomas wrote: >> >> add >>--ignoreIgnore unmanaged files matching >> patterns from the comma separated list of >>

Re: [fossil-users] Issue with ignore-glob

On Tue, Apr 11, 2017 at 3:21 PM, Thomas wrote: > On 2017-04-11 22:11, Thomas wrote: >> >> On 2017-04-11 22:01, Scott Robison wrote: >>> >>> I was thinking about that earlier (well, a warning, not an error, >>> which presumes you can't continue). Then the questions I put above >>> came into my mind

Re: [fossil-users] Issue with ignore-glob

On Tue, Apr 11, 2017 at 3:11 PM, Thomas wrote: > On 2017-04-11 22:01, Scott Robison wrote: >> >> On Tue, Apr 11, 2017 at 2:31 PM, David Mason wrote: >>> >>> I think --ignore should give an error if the --ignore matches a file >>> already >>> in the repository. The current behaviour is clearly so

Re: [fossil-users] Issue with ignore-glob

On Tue, Apr 11, 2017 at 3:04 PM, Thomas wrote: > On 2017-04-11 19:34, Scott Robison wrote: >> >> No, I try to explain why what you see isn't a design flaw, and >> apparently fail. But I'll keep trying! > > > Since I've never heard of any software that would not ignore files it is > told to ignore

Re: [fossil-users] Issue with ignore-glob

On 2017-04-11 22:11, Thomas wrote: On 2017-04-11 22:01, Scott Robison wrote: I was thinking about that earlier (well, a warning, not an error, which presumes you can't continue). Then the questions I put above came into my mind so I didn't bring it up. What would you suggest calling the command?

Re: [fossil-users] Issue with ignore-glob

On 2017-04-11 22:01, Scott Robison wrote: On Tue, Apr 11, 2017 at 2:31 PM, David Mason wrote: I think --ignore should give an error if the --ignore matches a file already in the repository. The current behaviour is clearly somewhat ambiguous. ... I was thinking about that earlier (well, a wa

Re: [fossil-users] Issue with ignore-glob

On 2017-04-11 19:34, Scott Robison wrote: No, I try to explain why what you see isn't a design flaw, and apparently fail. But I'll keep trying! Since I've never heard of any software that would not ignore files it is told to ignore you're going to have a hard time to convince me ;-) Source

Re: [fossil-users] Issue with ignore-glob

On Tue, Apr 11, 2017 at 2:31 PM, David Mason wrote: > > On 11 April 2017 at 14:34, Scott Robison wrote: >> >> No, it is an explicit command clearly stating the user's desire for >> exclusion of these files *that are not already under source control*. >> The fact that the user does not remember or

Re: [fossil-users] Issue with ignore-glob

On 11 April 2017 at 14:34, Scott Robison wrote: > No, it is an explicit command clearly stating the user's desire for > exclusion of these files *that are not already under source control*. > The fact that the user does not remember or did not realize they > issues conflicting commands does not m

Re: [fossil-users] Issue with ignore-glob

On 2017-04-11 21:04, Ross Berteig wrote: The fossil addremove command is a convenience command that scans the tree, obeying some of the glob settings, and applies fossil add and fossil forget command as needed to make the list of files now in the repository consistent with the settings and the di

Re: [fossil-users] Issue with ignore-glob

On 4/11/2017 9:36 AM, Thomas wrote: I would like to emphasise that --ignore (or .fossil-settings\ignore-glob) is an _explicit_ command, clearly stating the user's desire for exlusion of these files, following the documentation. Silently ignoring this wish can't be the correct process. But t

Re: [fossil-users] Issue with ignore-glob

On Tue, Apr 11, 2017 at 10:36 AM, Thomas wrote: > On 2017-04-11 05:22, Scott Robison wrote: >> >> Perhaps it should be documented, but I don't think it is a bug. It is >> the software doing the job it was originally told to do (track versions >> of a file) instead of doing the job it was subsequen

Re: [fossil-users] Issue with ignore-glob

On 2017-04-11 10:02, Mark Janssen wrote: That's not a security hole at all. Once a file was added, ignoring it will not remove past version from the repository. History in fossil is immutable. If you inadvertently added a file which shouldn't be there you should shun it instead. The way I under

Re: [fossil-users] Issue with ignore-glob

On 2017-04-11 05:22, Scott Robison wrote: Perhaps it should be documented, but I don't think it is a bug. It is the software doing the job it was originally told to do (track versions of a file) instead of doing the job it was subsequently told to do (ignore untracked files with a given glob). F

Re: [fossil-users] Issue with ignore-glob

On 2017-04-11 10:02, Mark Janssen wrote: That's not a security hole at all. Once a file was added, ignoring it will not remove past version from the repository. History in fossil is immutable. If you inadvertently added a file which shouldn't be there you should shun it instead. It is very well

Re: [fossil-users] Issue with ignore-glob

That's not a security hole at all. Once a file was added, ignoring it will not remove past version from the repository. History in fossil is immutable. If you inadvertently added a file which shouldn't be there you should shun it instead. On Tue, Apr 11, 2017 at 1:27 AM, Thomas wrote: > On 2017-0

Re: [fossil-users] Issue with ignore-glob

On Apr 10, 2017 5:02 PM, "Thomas" wrote: On 2017-04-10 22:28, Scott Robison wrote: > On Mon, Apr 10, 2017 at 2:57 PM, Thomas wrote: > >> I reckon I owe you a beer! ;-) >> > > Not at all. I don't drink, anyway. Well, not beer. :) > You're probably missing one of the best parts in life here ;-)

Re: [fossil-users] Issue with ignore-glob

On 2017-04-11 00:01, Thomas wrote: The --ignore argument as well as the .fossil-settings\ignore-glob file don't work for files or file masks that have been committed at some point after the repository has been created. Your work-around worked. After deleting some of these files, committing, chang

Re: [fossil-users] Issue with ignore-glob

On 2017-04-10 22:28, Scott Robison wrote: On Mon, Apr 10, 2017 at 2:57 PM, Thomas wrote: I reckon I owe you a beer! ;-) Not at all. I don't drink, anyway. Well, not beer. :) You're probably missing one of the best parts in life here ;-) Anyway, your suggestion sounds very reasonable (ok,

Re: [fossil-users] Issue with ignore-glob

On Mon, Apr 10, 2017 at 2:57 PM, Thomas wrote: > I reckon I owe you a beer! ;-) Not at all. I don't drink, anyway. Well, not beer. :) I was surprised my first guess was off base, but actually sitting down and trying some stuff outside the large repo you're using was useful to see how things work

Re: [fossil-users] Issue with ignore-glob

On 2017-04-10 21:36, Scott Robison wrote: Next I added a.a explicitly (it warned me and I said okay) and committed. Then I made a change to a.a and it was identified as a change for the next commit. So my best guess at the moment is: During one of your earlier attempts at adding things, you adde

Re: [fossil-users] Issue with ignore-glob

On Mon, Apr 10, 2017 at 1:58 PM, Thomas wrote: > On 2017-04-10 20:34, Scott Robison wrote: >> >> On Mon, Apr 10, 2017 at 1:05 PM, Thomas wrote: >>> >>> On 2017-04-10 20:00, Scott Robison wrote: >> >> Let's say you have a repo named bob. You have not yet committed any >> .fossil-settings files. Yo

Re: [fossil-users] Issue with ignore-glob

On 2017-04-10 20:34, Scott Robison wrote: On Mon, Apr 10, 2017 at 1:05 PM, Thomas wrote: On 2017-04-10 20:00, Scott Robison wrote: Let's say you have a repo named bob. You have not yet committed any .fossil-settings files. You create the .fossil-settings files then run addremove and commit. Th

Re: [fossil-users] Issue with ignore-glob

On Mon, Apr 10, 2017 at 1:05 PM, Thomas wrote: > On 2017-04-10 20:00, Scott Robison wrote: >> >> On Apr 10, 2017 12:48 PM, "Thomas" > > wrote: >> Example of .fossil-settings\ignore-glob: >> *.obj >> *.tlog >> *.VC.db >> >> The real file of course c

Re: [fossil-users] Issue with ignore-glob

On 2017-04-10 20:00, Scott Robison wrote: On Apr 10, 2017 12:48 PM, "Thomas" mailto:tho...@dateiliste.com>> wrote: Example of .fossil-settings\ignore-glob: *.obj *.tlog *.VC.db The real file of course contains a much bigger list. I only picked these three masks as an exam

Re: [fossil-users] Issue with ignore-glob

On Apr 10, 2017 12:48 PM, "Thomas" wrote: Hello, As stated in one of my earlier mails, I also got an issue with files to ignore. I have now created a folder .fossil-settings and placed the glob files in it. Actually, I got a batch file that reads the file filter settings from another file and

[fossil-users] Issue with ignore-glob

Hello, As stated in one of my earlier mails, I also got an issue with files to ignore. I have now created a folder .fossil-settings and placed the glob files in it. Actually, I got a batch file that reads the file filter settings from another file and creates the binary-glob and the ignore