diff options
author | Kartik K. Agaram <vc@akkartik.com> | 2017-03-12 00:31:55 -0800 |
---|---|---|
committer | Kartik K. Agaram <vc@akkartik.com> | 2017-03-12 00:34:02 -0800 |
commit | 2c53c3d0a921aec9825946be8dc37eff95b95485 (patch) | |
tree | 598e12608182300a97529082e317b36373ce6a36 /edit | |
parent | 465229a22a68f9c5cb94ba7853c44328f1bf85c1 (diff) | |
download | mu-2c53c3d0a921aec9825946be8dc37eff95b95485.tar.gz |
3789
I accidentally got rid of git snapshotting of lessons back when I switched to testable file primitives last December (commit 3705). >:-( Bringing it back now, hopefully better. The improvement is that there's now at most one commit every time we hit F4. This change adds yet another reason that running `mu` from a different directory is just not supported.
Diffstat (limited to 'edit')
-rw-r--r-- | edit/005-sandbox.mu | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/edit/005-sandbox.mu b/edit/005-sandbox.mu index f53ff96a..47ca5aec 100644 --- a/edit/005-sandbox.mu +++ b/edit/005-sandbox.mu @@ -144,7 +144,7 @@ def run-sandboxes env:&:environment, resources:&:resources, screen:&:screen -> e local-scope load-ingredients errors-found?:bool <- update-recipes env, resources, screen - return-if errors-found? + jump-if errors-found?, +return # check contents of right editor (sandbox) <run-sandboxes-begin> current-sandbox:&:editor <- get *env, current-sandbox:offset @@ -181,6 +181,8 @@ def run-sandboxes env:&:environment, resources:&:resources, screen:&:screen -> e loop } <run-sandboxes-end> + +return + $system [./snapshot_lesson] ] # load code from disk |