Re: [PATCH] mv -P

2018-05-06 Thread Franco Fichtner
> On 5. May 2018, at 11:12 PM, Theo de Raadt wrote: > > A better answer would have been "Really sorry Theo and everyone, but I > always come off as a dick..." A double-standard is never a good idea. ;) Cheers, Franco

Re: [PATCH] mv -P

2018-05-05 Thread Theo de Raadt
Wow. A better answer would have been "Really sorry Theo and everyone, but I always come off as a dick..." your opinion and screed don't change anything. attila wrote: > Theo de Raadt wrote: > > >"Theo de Raadt" wrote: > > >>

Re: [PATCH] mv -P

2018-05-05 Thread attila
Theo de Raadt wrote: > >"Theo de Raadt" wrote: > >> attila wrote: > >> > Hi tech@, > >> > > >> > I frequently want to move a file from one place to another and shred > >> > the original via the rm(1) -P option. On several

Re: [PATCH] mv -P

2018-04-29 Thread Theo de Raadt
>"Theo de Raadt" wrote: >> attila wrote: >> > Hi tech@, >> > >> > I frequently want to move a file from one place to another and shred >> > the original via the rm(1) -P option. On several occasions I have >> > forgotten about wanting to shred the

Re: [PATCH] mv -P

2018-04-29 Thread attila
"Theo de Raadt" wrote: > attila wrote: > > Hi tech@, > > > > I frequently want to move a file from one place to another and shred > > the original via the rm(1) -P option. On several occasions I have > > forgotten about wanting to shred the original

Re: [PATCH] mv -P

2018-04-28 Thread Jesper Wallin
Hi, Adding a -P to your command might of course be easier, but since you have -P in rm(1) and -v was added recently, won't this do: mv newfile "$(rm -Pv oldfile)" Regards Jesper Wallin

Re: [PATCH] mv -P

2018-04-28 Thread Theo de Raadt
attila wrote: > Hi tech@, > > I frequently want to move a file from one place to another and shred > the original via the rm(1) -P option. On several occasions I have > forgotten about wanting to shred the original file when using mv(1) > instead (out of habit) and ended

Re: [PATCH] mv -P

2018-04-28 Thread Ingo Schwarze
Hi, attila wrote on Sat, Apr 28, 2018 at 11:50:17AM -0500: > I frequently want to move a file from one place to another and shred > the original via the rm(1) -P option. I strongly object to adding another turd on top of the useless rm(1) -P option; it was recently discussed how useless it is,

[PATCH] mv -P

2018-04-28 Thread attila
Hi tech@, I frequently want to move a file from one place to another and shred the original via the rm(1) -P option. On several occasions I have forgotten about wanting to shred the original file when using mv(1) instead (out of habit) and ended up losing the ability to do so easily because