From a3973cc53f8a02fd644833c758190a3ca4272abb Mon Sep 17 00:00:00 2001 From: Aaron Bull Schaefer Date: Tue, 11 Apr 2023 14:54:52 -0700 Subject: [PATCH] docs: remove erroneous home directory prefix from per-repo config path --- src/commands/mod.rs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/commands/mod.rs b/src/commands/mod.rs index b5675b54c..dad05a88c 100644 --- a/src/commands/mod.rs +++ b/src/commands/mod.rs @@ -177,7 +177,7 @@ impl ConfigArgs { /// Operates on jj configuration, which comes from the config file and /// environment variables. Uses the config file at ~/.jjconfig.toml or /// $XDG_CONFIG_HOME/jj/config.toml, unless overridden with the JJ_CONFIG -/// environment variable, combined with repo config at ~/.jj/repo/config.toml +/// environment variable, combined with repo config at .jj/repo/config.toml /// if present. /// /// For supported config options and more details about jj config, see