Re: Bug#532289: matita fails to build in a non-networking environment.
I removed 532289@bugs.debian.org 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
Reply to: