diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2015-09-06 12:25:51 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2015-09-06 12:25:51 -0700 |
| commit | cea49fdee2835c366b917125cd496ac7f0d09232 (patch) | |
| tree | f2c6d8ae38aebb153007f341000535f16eaf436c /edit/011-editor-undo.mu | |
| parent | e5e9f7db1c5cab6c05c9881fae1fc78259ed4143 (diff) | |
| download | mu-cea49fdee2835c366b917125cd496ac7f0d09232.tar.gz | |
2171 - 'main' can take ingredients from the shell
Ingredients of 'main' are always strings (type address:array:character), and are delineated from .mu files to load by a "--", e.g.: $ ./mu x.mu y.mu -- a b c Here 'main' must be defined in one of x.mu and y.mu, and will receive the ingredients "a", "b", and "c".
Diffstat (limited to 'edit/011-editor-undo.mu')
0 files changed, 0 insertions, 0 deletions