| sed is a stream editor. A stream editor is used to perform basic text transformations on an input stream (a file or input from a pipeline). While in some ways similar to an editor which permits scripted edits (such as ed), sed works by making only one pass over the input(s), and is consequently more efficient. But it is sed's ability to filter text in a pipeline which particularly distinguishes it from other types of editors.
This contains an additional patch developed by Assaf Gordon that add a --sandbox feature to disables potentially harmful sed functions, when used in Galaxy. http://www.gnu.org/software/sed/ Repository-Maintainer: Bjoern Gruening Repository-Development: https://github.com/bgruening/galaxytools/tree/master/orphan_tool_dependencies |
hg clone https://toolshed.g2.bx.psu.edu/repos/iuc/package_gnu_sed_4_2_2_sandbox
| Name | Version | Type | |
|---|---|---|---|
| gnu_sed | 4.2.2-sandbox | package | |