Rename execute to pipe
This commit is contained in:
parent
b148bba4b2
commit
8975db2cc9
2 changed files with 11 additions and 10 deletions
|
|
@ -160,7 +160,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