Re: [fossil-users] fossil rm --hard dir1

2017-12-13 Thread Warren Young
On Dec 13, 2017, at 2:21 PM, Zakero wrote: > > The "fossil clean" command has the "--emptydirs" option. That might be > useful for the "rm" command as well. If Fossil got that option, I’d probably forget that it existed a week after the change went in. I’d end up saying

Re: [fossil-users] fossil rm --hard dir1

2017-12-13 Thread Zakero
On Wed, Dec 13, 2017 at 3:01 PM, Warren Young wrote: > On Dec 13, 2017, at 1:03 PM, jungle Boogie > wrote: > > > > On 13 December 2017 at 07:58, Warren Young wrote: > > > >> I’d feel differently if Fossil owned the directories,

Re: [fossil-users] fossil rm --hard dir1

2017-12-13 Thread Warren Young
On Dec 13, 2017, at 1:03 PM, jungle Boogie wrote: > > On 13 December 2017 at 07:58, Warren Young wrote: > >> I’d feel differently if Fossil owned the directories, but it doesn’t. >> They’re mine; leave them alone! > > Yes, I agree. I think this

Re: [fossil-users] fossil rm --hard dir1

2017-12-13 Thread jungle Boogie
On 13 December 2017 at 07:58, Warren Young wrote: > I’d feel differently if Fossil owned the directories, but it doesn’t. > They’re mine; leave them alone! Yes, I agree. I think this topic has been raised here in the past, although that was about removing files. Still, If

Re: [fossil-users] fossil rm --hard dir1

2017-12-13 Thread Warren Young
On Dec 13, 2017, at 6:21 AM, Tino Lange wrote: > > The directory/directories will keep existing! Given that Fossil doesn’t know anything about directories, other than as containers for the files it manages, I’m not sure that isn’t the right thing. To have Fossil remove

[fossil-users] fossil rm --hard dir1

2017-12-13 Thread Tino Lange
Hi! When doing a $ fossil rm --hard dir1 it will unregister from fossil and then delete all files within the 'dir1' hierarchy. But: The directory/directories will keep existing! I need to do a $ rm -rf dir1 afterwards (so the whole --hard is mostly needless, since I need to do the