I removed [email protected] from CC as we are going off-topic but I added d-o-m.
Enrico Tassi wrote: > >> P.S.: Editing patches in Svn repositories is a real pain. Won't you >> consider moving matita to Git? > > I'm not claiming that svn is sperior to git, but the following 3 lines > do the job for me... which workflow makes it so annoying? > > dpatch-edit-patch foo This is the most annoying part: - It creates a new “source-chroot” every time you want to modify/create a patch - You cannot directly edit your sources or look into the upstream sources - You cannot commit locally while you're modifying the source or re-organize non-pushed patches. - Also, I really miss the gui gitk which shows you the tree of the repository > svn-buildpackage -S -us -uc > sudo pbuilder build ../build-area/*.dsc > That part doesn't change. git-buildpackage does exactly the same thing with the same options. You can even: alias svn-buildpackage='git-buildpackage' :) Cheers, -- Mehdi Dogguy مهدي الدڤي http://www.pps.jussieu.fr/~dogguy Tel.: (+33).1.44.27.28.38 -- To UNSUBSCRIBE, email to [email protected] with a subject of "unsubscribe". Trouble? Contact [email protected]
