[Dune] gdb pretty printers

Oliver Sander sander at mi.fu-berlin.de
Thu Oct 20 14:01:42 CEST 2011


Hi Martin,
this is definitely a third possibility.
best,
Oliver


Am 20.10.2011 13:27, schrieb Martin Nolte:
> Hi Oli,
>
> first of all, this is a great idea and is much appreciated. Is there any
> reason not to distribute these scripts together with the corresponding
> module, e.g., dune-common in case of the FieldVector?
>
> Best,
>
> Martin
>
> On 10/19/2011 03:51 PM, Oliver Sander wrote:
>> What are the pros and cons of having a directory in the main svn
>> repository
>> vs. a 'project' in the user wiki?
>> --
>> Oliver
>>
>>
>> Am 19.10.2011 15:48, schrieb Felix Albrecht:
>>> Hi,
>>>
>>> On Wed, 2011-10-19 at 13:35 +0200, Christian Engwer wrote:
>>>> I can create this repo. Alternatively you can create new project under
>>>> http://users.dune-project.org/projects/projects and use redmine to
>>>> provide the repository (either git or svn).
>>>
>>> das ist im Prinzip richtig. De facto muss man aber bei der
>>> Projekterstellung noch darauf achten, welchen Pfad man dem git
>>> Repository in den Optionen angibt (das soll demnächst automatisiert
>>> werden, ist es aber noch nicht). SVN Repositories sind theoretisch
>>> möglich, aber noch nicht implementiert. Obige aussage ist also nur
>>> bedingt Korrekt...
>>>
>>> Ich kann dir gerne ein Projekt mit den richtigen Einstellungen anlegen,
>>> dann müsstest du mir nur einen Projektname nennen...
>>>
>>> LG,
>>>
>>> Felix
>>>
>>
>> _______________________________________________
>> Dune mailing list
>> Dune at dune-project.org
>> http://lists.dune-project.org/mailman/listinfo/dune
>




More information about the Dune mailing list