From 9326775071d77412ce44d6b658f57d66dd5469e8 Mon Sep 17 00:00:00 2001 From: Eritque arcus Date: Thu, 18 Sep 2025 15:29:46 -0500 Subject: [PATCH] doc: add more example about history for shell MP --- _docs/shell.md | 10 +++++++++- 1 file changed, 9 insertions(+), 1 deletion(-) diff --git a/_docs/shell.md b/_docs/shell.md index add5fc969..ac3574ca5 100644 --- a/_docs/shell.md +++ b/_docs/shell.md @@ -620,8 +620,16 @@ In case you are still confused about what exactly to store in history, here are | `echo HISTORY_IS_HARD`| `echo HISTORY_IS_HARD`| | `echo pi:G-> && echo G/ker(phi)`| `echo pi:G-> && echo G/ker(phi)`| | `echo x; echo y`| `echo x; echo y`| -| `jarvis, store this in history` |`jarvis, store this in history`| +| `jarvis, store this in history` |`jarvis, store this in history`| + +and what I should **NOT** store? +| **Examples NOT to store** | **Section** | +|--------------|-----------| +| `#1` | [n-th command](#n) | +| `!history` | [history command](#history-1) | +| `!e` | [outside prefix command](#prefix) itself
you still need to store the actual running command (**IF matched**) | ## Grading Note that Week 1 and Week 2 count as one week of MP grades respectively. See the overview for a list of features required for each week. +