Pnuts User's Guide -> extensions -> module-tools module

module-tools module

This module provides a GUI tool that manages Pnuts modules. See 'Publishing and Sharing Pnuts Modules' for background information.

moduletool()

Starts a GUI tool that manages modules.

install_modules(module_descriptor_url)

Installs modules silently (without GUI). module_descriptor_url should be a URL of a module descriptor file .

merge_module_descriptors( urls [] )

Merges one or more module descriptor files and returns a DOM object that represents the module descriptors. 

elem = merge_module_descriptors(["http://pnuts.org/modules/module1.xml", "http://pnuts.org/modules/module2.xml"])
writeDocument(elem)
Pnuts User's Guide -> extensions -> module-tools module