On 10 December 2012 22:33, carloratm <[email protected]> wrote: > > > Il giorno lunedì 10 dicembre 2012 10:35:12 UTC+1, carloratm ha scritto: >> >> Hello, >> what do you think about a replace command for plugins? > > > I have write a small patch to add a replace command for plugins. > The replace command perform an install and a replace if the plugin already > exists. > > Let me know if this is useful to someone.
I think its a good idea, but I havn't tried the patch though. Of course is it worth the code for something that isn't done all that often? Cheers Lex > > Cheers, > > > > -- > You received this message because you are subscribed to the Google Groups > "asciidoc" group. > To view this discussion on the web visit > https://groups.google.com/d/msg/asciidoc/-/4mGzGx4MVPMJ. > > To post to this group, send email to [email protected]. > To unsubscribe from this group, send email to > [email protected]. > For more options, visit this group at > http://groups.google.com/group/asciidoc?hl=en. -- You received this message because you are subscribed to the Google Groups "asciidoc" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/asciidoc?hl=en.
