Rename execute to pipe
This commit is contained in:
parent
e371546d52
commit
a7edd8525d
2 changed files with 10 additions and 9 deletions
|
|
@ -143,7 +143,7 @@ The following keys apply to library source code (before processing) and generate
|
|||
|
||||
```search``` = search string providing context for following prepend/append/replace directives
|
||||
|
||||
```execute``` = execute a command on a file and store the output of the command as the new file contents. Ex: execute = "cat $file | grep 'static inline'"
|
||||
```pipe``` = execute a command on a file and store the output of the command as the new file contents. Ex: pipe = "cat $file | grep 'static inline'"
|
||||
|
||||
```prepend``` = string value to prepend into file at beginning or before search
|
||||
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue