On 2017-09-08 15:01, Joerg Sonnenberger wrote:
On Fri, Sep 08, 2017 at 02:49:16PM +0100, Thomas wrote:
On 2017-09-08 09:48, Joerg Sonnenberger wrote:
On Thu, Sep 07, 2017 at 11:39:39PM +0100, Thomas wrote:
What I mean is, someone who's got that file within the checkout folder
automatically causes it to be checked in again, independent of what the
ignore-glob says.
You have to mark it as deleted. Then it will only be checked in (again),
if someone actually adds it. Which normally honors the ignore-glob.
How do I mark a file as deleted?
fossil delete ...
If I do this I can never use addremove again. The checkin script runs
addremove automatically each time.
This is the script:
fossil addremove --dotfiles
fossil update --force-missing
fossil configuration pull shun
fossil commit --allow-empty --allow-conflict --hash
_______________________________________________
fossil-users mailing list
[email protected]
http://lists.fossil-scm.org:8080/cgi-bin/mailman/listinfo/fossil-users
