From d3b5edb003170af18679758e50046568db7e127f Mon Sep 17 00:00:00 2001 From: Sayan Nandan Date: Fri, 26 Apr 2024 13:38:48 +0000 Subject: [PATCH] skysh: add information on history file location --- docs/3.using-repl.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/docs/3.using-repl.md b/docs/3.using-repl.md index e9d62d456..14ebffcd3 100644 --- a/docs/3.using-repl.md +++ b/docs/3.using-repl.md @@ -35,7 +35,8 @@ You can also run queries like: `inspect global` to see available global system i :::info Quick notes -- The REPL currently stores history in the `.sky_history` file. If you want to remove history, you can simply delete the file +- The REPL stores all command history in a file located at `$HOME/.sky_history` (here `$HOME` represents your home directory) +- If you wish to change where the REPL stores the history file, set the `SKYSH_HISTORY_FILE` environment variable to your preferred path - The REPL will automatically parameterize queries. Don't worry about what this means; you'll learn about it ahead. - The REPL applies custom formatting to `DDL` queries. For example, even though `inspect global` returns a JSON as a string, the REPL formats it and outputs it without quotes, to improve readability