Hi,
On 2018-05-21 18:43, Sebastiaan Couwenberg wrote:
Do you still have to for the documentation update?
I've published new instructions on Ben's website (which
is generated from Ben's git repository). You can read
them here: https://ben.debian.net/#_tracker
Basically, it is:
$ ocamlbuild -
On 05/15/2018 11:15 AM, Mehdi Dogguy wrote:
> On 2018-05-14 18:46, Sebastiaan Couwenberg wrote:
>> On 05/14/2018 08:26 AM, Mehdi Dogguy wrote:
>>> On 2018-05-14 08:01, Sebastiaan Couwenberg wrote:
Unfortunately that doesn't apply cleanly on top of 0.7.4 for
stretch. If
you can provid
On 2018-05-14 18:46, Sebastiaan Couwenberg wrote:
On 05/14/2018 08:26 AM, Mehdi Dogguy wrote:
On 2018-05-14 08:01, Sebastiaan Couwenberg wrote:
Unfortunately that doesn't apply cleanly on top of 0.7.4 for stretch.
If
you can provide a rebased commit for 0.7.4 I'm willing to test that.
No pr
On 05/14/2018 08:26 AM, Mehdi Dogguy wrote:
> On 2018-05-14 08:01, Sebastiaan Couwenberg wrote:
>> Unfortunately that doesn't apply cleanly on top of 0.7.4 for stretch. If
>> you can provide a rebased commit for 0.7.4 I'm willing to test that.
>>
>
> No problem. Here it is (attached). Thanks for y
On 2018-05-14 08:01, Sebastiaan Couwenberg wrote:
Unfortunately that doesn't apply cleanly on top of 0.7.4 for stretch.
If
you can provide a rebased commit for 0.7.4 I'm willing to test that.
No problem. Here it is (attached). Thanks for your tests!
Kind Regards,
--
Mehdi--- a/_tags
+++ b/_
On 05/14/2018 12:37 AM, Mehdi Dogguy wrote:
> On 2018-05-13 21:10, Sebastiaan Couwenberg wrote:
>>
>> I've applied that commit on top of ben (0.7.4) from stretch, and it
>> resolves this issue. The Packages & Sources files are no longer
>> downloaded again when `ben tracker ...` is executed, and th
On 2018-05-13 21:10, Sebastiaan Couwenberg wrote:
I've applied that commit on top of ben (0.7.4) from stretch, and it
resolves this issue. The Packages & Sources files are no longer
downloaded again when `ben tracker ...` is executed, and the various
settings from the global.conf files are used
On 2018-05-13 21:10, Sebastiaan Couwenberg wrote:
On 05/13/2018 08:32 PM, Mehdi Dogguy wrote:
On 2018-05-13 15:44, Sebastiaan Couwenberg wrote:
Those are the files in the current working directory, and may be from
a
different distribution.
All the global.conf files use a separate cache-dir bu
On 05/13/2018 08:32 PM, Mehdi Dogguy wrote:
> On 2018-05-13 15:44, Sebastiaan Couwenberg wrote:
>> Those are the files in the current working directory, and may be from a
>> different distribution.
>>
>> All the global.conf files use a separate cache-dir but this setting has
>> no effect any more.
On 2018-05-13 15:44, Sebastiaan Couwenberg wrote:
Those are the files in the current working directory, and may be from a
different distribution.
All the global.conf files use a separate cache-dir but this setting has
no effect any more.
The same goes for the list of architectures and ignored o
On 05/13/2018 03:23 PM, Mehdi Dogguy wrote:
> Hi Sebastiaan,
>
> On 2018-05-13 14:13, Sebastiaan Couwenberg wrote:
>> On 05/13/2018 01:59 PM, Mehdi Dogguy wrote:
>>> On 2018-05-13 13:51, Sebastiaan Couwenberg wrote:
On 05/13/2018 01:25 PM, Mehdi Dogguy wrote:
> On 2017-09-22 18:37, Bas Co
Hi Sebastiaan,
On 2018-05-13 14:13, Sebastiaan Couwenberg wrote:
On 05/13/2018 01:59 PM, Mehdi Dogguy wrote:
On 2018-05-13 13:51, Sebastiaan Couwenberg wrote:
On 05/13/2018 01:25 PM, Mehdi Dogguy wrote:
On 2017-09-22 18:37, Bas Couwenberg wrote:
Package: ben
Version: 0.7.4+b4
Severity: impor
On 05/13/2018 01:59 PM, Mehdi Dogguy wrote:
> On 2018-05-13 13:51, Sebastiaan Couwenberg wrote:
>> On 05/13/2018 01:25 PM, Mehdi Dogguy wrote:
>>> On 2017-09-22 18:37, Bas Couwenberg wrote:
Package: ben
Version: 0.7.4+b4
Severity: important
Dear Maintainer,
Since
On 05/13/2018 01:25 PM, Mehdi Dogguy wrote:
> On 2017-09-22 18:37, Bas Couwenberg wrote:
>> Package: ben
>> Version: 0.7.4+b4
>> Severity: important
>>
>> Dear Maintainer,
>>
>> Since the upgrade to stretch my ben setup no longer works as before.
>>
>> The `ben tracker --global-conf /global.conf` c
On 2018-05-13 13:51, Sebastiaan Couwenberg wrote:
On 05/13/2018 01:25 PM, Mehdi Dogguy wrote:
On 2017-09-22 18:37, Bas Couwenberg wrote:
Package: ben
Version: 0.7.4+b4
Severity: important
Dear Maintainer,
Since the upgrade to stretch my ben setup no longer works as before.
The `ben tracker -
Hi,
On 2017-09-22 18:37, Bas Couwenberg wrote:
Package: ben
Version: 0.7.4+b4
Severity: important
Dear Maintainer,
Since the upgrade to stretch my ben setup no longer works as before.
The `ben tracker --global-conf /global.conf` commands don't use
the cache file as configured in the global.co
Package: ben
Version: 0.7.4+b4
Severity: important
Dear Maintainer,
Since the upgrade to stretch my ben setup no longer works as before.
The `ben tracker --global-conf /global.conf` commands don't use
the cache file as configured in the global.conf file, and instead
download the Sources & Packag
17 matches
Mail list logo
