diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2015-09-05 11:50:49 -0700 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2015-09-05 11:51:10 -0700 |
commit | a90faae99043042ec5e2d0de21b7dbe0eba29e3a (patch) | |
tree | 2138b6fe60aaf3d3bc47ae05fb955a78135b6eaa /Readme.md | |
parent | 9f78ec2d5e2a74ec24cc20cd3b1d60c3bdb9d605 (diff) | |
download | mu-a90faae99043042ec5e2d0de21b7dbe0eba29e3a.tar.gz |
2156 - split edit.mu into multiple files
Now you can bring up the programming environment by saying: $ mu edit The files under edit aren't yet *layers*, though, they have a few dependencies that we need to clean up.
Diffstat (limited to 'Readme.md')
-rw-r--r-- | Readme.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/Readme.md b/Readme.md index 1287e761..0d0bb06a 100644 --- a/Readme.md +++ b/Readme.md @@ -377,8 +377,8 @@ I've just been insufficiently diligent and my documentation is out of date. d) Try out the programming environment: ```shell - $ ./mu test edit.mu # takes about 30s; shouldn't show any failures - $ ./mu edit.mu + $ ./mu test edit # takes about 30s; shouldn't show any failures + $ ./mu edit ``` Screenshot: |