Page Comparison

...

The Infinit.e.Manager Sources page provides a simple interface for adding and testing new sources, saving templates for future sources, and managing existing ones. Future iterations of the tool will provide actual support for the difficult bits of source writing, such as writing Javascript and regexes.

Create New Source

Edit Existing Source

Deleting Sources or Shares

To delete a source or share click on the "X" button next to the source name in the Sources list:

• Share: If the item you are deleting is a Share the system will ask you to confirm: "Do you really wish to delete the share: XXXXXXXXX (*)?". What happens next depends on whether or not the share has been published or not:
  
  • If the share has been published the share is deleted but the published source is left alone and will appear in the Sources list.
  • If the share has not been published the share will simply be deleted and will disappear from the Sources list.
     
• Source: If the item you are deleting is a Source the system will ask you to confirm: "Do you really wish to delete the source: XXXXXXXXX?". If you confirm the deletion the system will then delete the published source and all harvested documents associated with it.