[HCoop-Discuss] Next-generation Domtool

[Adam Chlipala]

Terrence Brannon wrote:

> There's no
>
>     asymptotic penalty to requiring a single constant-time operation
>     first! 
>
>
> No, my argument isn't one of algorithmic complexity, rather one of 
> creating a convenient API. Since creating the local directory 
> structure is expected and in most cases stereotyped, why not 
> encapsulate this software usage pattern to increase the comfort of the 
> person using the API?
>
I think you should write your own script to do it in one command line, 
or we could even install a script system-wide, but there's no reason 
that Domtool needs to be involved.