Rename command "leave" to "keep", sounds more appropreate.

2023-01-03 16:25:29 +01:00
parent 538a32a471
commit 6f78130fab
4 changed files with 5 additions and 5 deletions
@@ -104,7 +104,7 @@ impl<'a> LKEval<'a> {
        }
    }

-    pub fn cmd_leave(&self, out: &LKOut, name: &Name) {
+    pub fn cmd_keep(&self, out: &LKOut, name: &Name) {
        let pwd = match self.state.lock().borrow().ls.get(name) {
            Some(pwd) => pwd.clone(),
            None => {