<div dir="ltr"><br><div class="gmail_extra"><div class="gmail_quote">On Mon, Apr 15, 2013 at 9:56 PM, David Faure <span dir="ltr"><<a href="mailto:faure@kde.org" target="_blank">faure@kde.org</a>></span> wrote:<br><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">


<div>On Monday 15 April 2013 21:40:52 Jerome Leclanche wrote:<br>
> Ah sorry, I thought you wanted to store it in multiple separate files :)<br>
<br>
</div>No, TRASH_DIR/directorysizes will contain the multiple lines I showed in my<br>
email.<br>
<div><br>
> The simple file format is nice however I have a small concern about<br>
> extensibility; any new value added is going to break backwards<br>
> compatibility, unless we specify that additional values may be eventually<br>
> added.<br>
<br>
</div>There isn't much to add in order to solve the question 'how big is this<br>
directory'. No extensibility is needed here.<br>
<div><br>
> Performance-wise, does it really matter that much? There should/will be an<br>
> ini parser because of the trashinfo files anyway.<br>
<br>
</div>Yes, parsing 1000 files is really a lot slower than parsing one file.<br>
Due to I/O, and due to cache locality.<br>
The whole point of a cache is to be fast, otherwise we wouldn't be doing this<br>
in the first place.<br></blockquote><div><br></div><div>I meant does it matter that much to avoid an ini-based format there (keeping, of course, the single file)</div><div> </div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-color:rgb(204,204,204);border-left-style:solid;padding-left:1ex">



<div><div><br>
--<br>
David Faure, <a href="mailto:faure@kde.org" target="_blank">faure@kde.org</a>, <a href="http://www.davidfaure.fr" target="_blank">http://www.davidfaure.fr</a><br>
Working on KDE, in particular KDE Frameworks 5<br>
<br>
</div></div></blockquote></div><br><br clear="all"><div>J. Leclanche</div><div><br></div></div></div>