[nongnu] elpa/idris-mode 9cf5fe3e70 2/6: Update idris-settings.el

[ELPA Syncer]

branch: elpa/idris-mode
commit 9cf5fe3e7009f869f1bf25ceecaba64ebfe1426f
Author: Jan de Muijnck-Hughes <jfdm@users.noreply.github.com>
Commit: GitHub <noreply@github.com>

    Update idris-settings.el
    
    make documentation more explicit.
---
 idris-settings.el | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/idris-settings.el b/idris-settings.el
index bc427f9a85..c67eaf9fd2 100644
--- a/idris-settings.el
+++ b/idris-settings.el
@@ -298,7 +298,13 @@ Set to `nil' for no banner."
 (defcustom idris-repl-history-file nil
   "File to save the persistent REPL history to.
 
-Defaults to ~/.[:IDRIS_EXECUTABLE_NAME:]/idris-history.eld"
+By default we assume Idris' default configuration home is:
+ 
+  $HOME/.idris/idris-history.eld.
+     
+If you have installed/configured Idris differently, or are 
+using Idris2, then you may wish to customise this variable.
+"
   :type 'string
   :group 'idris-repl)