Re: How to remove old source file?

On Mon, 16 Nov, 2015 at 00:42:10 GMT, Kevin Kofler wrote: > Till Maas wrote: >> It also breaks git clean which is used to clean files. What is the >> reason that making .gitignore append-only would be useful btw? > > If I don't bother cleaning away the old tarballs, I don't want them to show > up

Re: How to remove old source file?

On Sun, Nov 15, 2015 at 08:01:15PM +0100, Kevin Kofler wrote: > Detecting obsolete tarballs is not what git status is for. It should only be > listing files that really need to be added to git (or to the lookaside > cache). It also breaks git clean which is used to clean files. What is the

Re: How to remove old source file?

On Sun, Nov 15, 2015 at 8:59 PM, Kevin Kofler wrote: > Jan Kratochvil wrote: >> There is also ".gitignore" file which is sometimes unmaintained and huge. > > This is a feature. If you still have old tarballs in your checkout, they > should be ignored as well as the current

Re: How to remove old source file?

Jan Kratochvil wrote: > That's IMO not right because then you have left many old useless .tar.gz > files in that directory and 'git status' does not say they are no longer > used. Detecting obsolete tarballs is not what git status is for. It should only be listing files that really need to be

Re: How to remove old source file?

On Sun, Nov 15, 2015 at 08:45:04PM +0100, Till Maas wrote: > On Sun, Nov 15, 2015 at 08:01:15PM +0100, Kevin Kofler wrote: > > > Detecting obsolete tarballs is not what git status is for. It should only > > be > > listing files that really need to be added to git (or to the lookaside > >

Re: How to remove old source file?

Till Maas wrote: > It also breaks git clean which is used to clean files. What is the > reason that making .gitignore append-only would be useful btw? If I don't bother cleaning away the old tarballs, I don't want them to show up as uncommitted files in git-cola (or command-line "git status", I

Re: How to remove old source file?

Jan Kratochvil wrote: > There is also ".gitignore" file which is sometimes unmaintained and huge. This is a feature. If you still have old tarballs in your checkout, they should be ignored as well as the current ones. There is a reason fedpkg new-sources does NOT remove old entries from

Re: How to remove old source file?

So, deleting the entry in the "sources" file delete the file in the lookaside cache? Thanks. Il 14/11/2015 11:41, Michael Schwendt ha scritto: On Sat, 14 Nov 2015 10:51:07 +0100, Mattia Verga wrote: Hi, I have uploaded a new source file in lookaside cache with the 'fedpkg upload' command. I

How to remove old source file?

Hi, I have uploaded a new source file in lookaside cache with the 'fedpkg upload' command. I can't use 'fedpkg new-sources' because I have many other source file that I want to keep. Now how can I delete the old source file replaced by the new one? Thanks. Mattia -- devel mailing list

Re: How to remove old source file?

On Sat, 14 Nov 2015 12:58:29 +0100 Mattia Verga wrote: > So, deleting the entry in the "sources" file delete the file in the > lookaside cache? nope, files are removed from the lookaside cache only for legal reasons Dan > Thanks. > > Il 14/11/2015

Re: How to remove old source file?

On Sat, 14 Nov 2015 10:51:07 +0100, Mattia Verga wrote: > Hi, > I have uploaded a new source file in lookaside cache with the 'fedpkg > upload' command. I can't use 'fedpkg new-sources' because I have many > other source file that I want to keep. > > Now how can I delete the old source file

Re: How to remove old source file?

On Sat, Nov 14, 2015 at 10:51:07AM +0100, Mattia Verga wrote: > Hi, > I have uploaded a new source file in lookaside cache with the > 'fedpkg upload' command. I can't use 'fedpkg new-sources' because I > have many other source file that I want to keep. > > Now how can I delete the old source file

Re: How to remove old source file?

On Sat, 14 Nov 2015 11:41:32 +0100, Michael Schwendt wrote: > The "sources" file is maintained within the git repository There is also ".gitignore" file which is sometimes unmaintained and huge. Jan -- devel mailing list devel@lists.fedoraproject.org

Re: How to remove old source file?

On Sat, Nov 14, 2015 at 01:40:21PM +0100, Jan Kratochvil wrote: > On Sat, 14 Nov 2015 11:41:32 +0100, Michael Schwendt wrote: > > The "sources" file is maintained within the git repository > > There is also ".gitignore" file which is sometimes unmaintained and huge. A less-known feature of

Re: How to remove old source file?

On Sat, 14 Nov 2015 17:27:04 +0100, Richard W.M. Jones wrote: > A less-known feature of fedpkg is that if you add wildcards to > .gitignore, then fedpkg does the right thing and will not add new > entries to .gitignore each time you upload a file. That's IMO not right because then you have left