renamed config

Author: Meowcolm024

CHANGELOG.md

@@ -8,6 +8,7 @@ All notable changes to the *Haskell Runner 2* will be documented in this file.
 - support for sending selected code to ghci
 - add keybindings for `Send to GHCi` (shortcut: `ctrl+alt+right`)
 - allow dynamically choose tool for `ghci`
+- rename config `stackRepl` to `replTool`
 
 ## [0.1.3]
 

README.md

@@ -20,7 +20,7 @@ The following configurations are available:
 
 - `runner2.ghciPath`: path for GHCi (default `ghci`)
 - `runner2.stackPath`: path for stack executable (default `stack`)
-- `runner2.stackRepl`: by `default`, it uses `ghci` in single file and use `stack repl` in stack project, can be overridden by choosing other options (`ghci` for ghci only, and `stack` for stack repl only)
+- `runner2.replTool`: by `default`, it uses `ghci` in single file and use `stack repl` in stack project, can be overridden by choosing other options (`ghci` for ghci only, and `stack` for stack repl only)
 - `runner2.stackRun`: show "Stack Run" button, *reload required* (default `false`)
 
 ## Release Notes

package.json

@@ -65,7 +65,7 @@
                     "default": "stack",
                     "description": "Path to stack executable"
                 },
-                "runner2.stackRepl": {
+                "runner2.replTool": {
                     "type": "string",
                     "enum": [
                         "default",

src/config.ts

@@ -14,7 +14,7 @@ export function getConfig(): Config {
     const config = vscode.workspace.getConfiguration();
     const ghci = config.get("runner2.ghciPath", "ghci");
     const stack = config.get("runner2.stackPath", "stack");
-    const mode = config.get<Mode>("runner2.stackRepl", "default");
+    const mode = config.get<Mode>("runner2.replTool", "default");
     let tool = (proj: boolean) => {
         let repl = stack + " repl";
         switch (mode) {