change default shell, see (#2)

Guest0x0 · Sep 17, 2020 · 02867b5 · 02867b5
1 parent 2fa1eca
commit 02867b5
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 6 deletions.
diff --git a/README.md b/README.md
@@ -147,5 +147,11 @@ hook global WinSetOption filetype=coq %{
 }
 ```
 
-## 4. License
+## 4. Known Issues
+Using `zsh` for `%opt{coqoune_shell}` seems to sometimes mess up the terminal after kakoune quits.
+Using `bash` is fine and `ksh` is not tested.
+A way to solve it is to type `reset` after quiting kakoune.
+Technical details are in (#2).
+
+## 5. License
 This software is distributed under the zlib license.
diff --git a/rc/coqoune.kak b/rc/coqoune.kak
@@ -7,15 +7,15 @@ declare-option -hidden str coqoune_path %sh{
 declare-option -docstring "
     The name of the shell used to execute coqoune scripts.
     Possible options are:
-        1. zsh
-        2. bash
+        1. bash
+        2. zsh
         3. ksh
     The default will be the first available, from up to down.
 " str coqoune_shell %sh{
-    if zsh --help >/dev/null 2>&1; then
-        echo zsh
-    elif bash --help >/dev/null 2>&1; then
+    if bash --help >/dev/null 2>&1; then
         echo bash
+    elif zsh --help >/dev/null 2>&1; then
+        echo zsh
     elif ksh --help >/dev/null 2>&1; then
         echo ksh
     fi