diff --git a/change.html b/change.html index 2b41010..f495198 100644 --- a/change.html +++ b/change.html @@ -3,7 +3,7 @@ helpname: 'change' ---
-change.txt    For Vim version 9.1.  Last change: 2024 Oct 07
+change.txt    For Vim version 9.1.  Last change: 2024 Nov 12


                  VIM REFERENCE MANUAL    by Bram Moolenaar
@@ -591,6 +591,8 @@                         program {filter} (for {Visual} see Visual-mode).

:{range}![!]{filter} [!][arg]                           :range!
+                        For executing external commands see :!
+
                        Filter {range} lines through the external program
                        {filter}.  Vim replaces the optional bangs with the
                        latest given command and appends the optional [arg].
diff --git a/filetype.html b/filetype.html index d1648b4..ce86de5 100644 --- a/filetype.html +++ b/filetype.html @@ -3,7 +3,7 @@ helpname: 'filetype' ---
-filetype.txt  For Vim version 9.1.  Last change: 2024 Nov 09
+filetype.txt  For Vim version 9.1.  Last change: 2024 Nov 12


                  VIM REFERENCE MANUAL    by Bram Moolenaar
@@ -672,6 +672,19 @@ Since the text for this plugin is rather long it has been put in a separate
file: ft_hare.txt.

+IDRIS2                                                  ft-idris2-plugin
+
+By default the following options are set:
+
+
        setlocal shiftwidth=2 tabstop=2 expandtab
+        setlocal comments=s1:{-,mb:-,ex:-},:\|\|\|,:--
+        setlocal commentstring=--\ %s
+        setlocal wildignore+=*.ibc
+
+To use tabs instead of spaces for indentation, set the following variable
+in your vimrc:
+
+
        let g:idris2#allow_tabchar = 1

JAVA                                                    ft-java-plugin

diff --git a/indent.html b/indent.html index f190b58..e92dc99 100644 --- a/indent.html +++ b/indent.html @@ -3,7 +3,7 @@ helpname: 'indent' ---
-indent.txt    For Vim version 9.1.  Last change: 2024 Oct 05
+indent.txt    For Vim version 9.1.  Last change: 2024 Nov 12


                  VIM REFERENCE MANUAL    by Bram Moolenaar
@@ -818,6 +818,38 @@                : GetCSSIndent()     else
      <!-- --> : -1

+IDRIS2                                                  ft-idris2-indent
+
+Idris 2 indentation can be configured with several variables that control the
+indentation level for different language constructs:
+
+The "g:idris2_indent_if" variable controls the indentation of then and else
+blocks after if statements. Defaults to 3.
+
+The "g:idris2_indent_case" variable controls the indentation of patterns in
+case expressions. Defaults to 5.
+
+The "g:idris2_indent_let" variable controls the indentation after let
+bindings. Defaults to 4.
+
+The "g:idris2_indent_rewrite" variable controls the indentation after rewrite
+expressions. Defaults to 8.
+
+The "g:idris2_indent_where" variable controls the indentation of where
+blocks. Defaults to 6.
+
+The "g:idris2_indent_do" variable controls the indentation in do blocks.
+Defaults to 3.
+
+Example configuration:
+
+
        let g:idris2_indent_if = 2
+        let g:idris2_indent_case = 4
+        let g:idris2_indent_let = 4
+        let g:idris2_indent_rewrite = 8
+        let g:idris2_indent_where = 6
+        let g:idris2_indent_do = 3
+

MATLAB                  ft-matlab-indent matlab-indent matlab-indenting

diff --git a/quickfix.html b/quickfix.html index 3ed57ff..efdc438 100644 --- a/quickfix.html +++ b/quickfix.html @@ -3,7 +3,7 @@ helpname: 'quickfix' ---
-quickfix.txt  For Vim version 9.1.  Last change: 2024 Nov 10
+quickfix.txt  For Vim version 9.1.  Last change: 2024 Nov 12


                  VIM REFERENCE MANUAL    by Bram Moolenaar
@@ -1424,7 +1424,7 @@ Commonly used compiler options can be added to 'makeprg' by setting the
b/g:ruff_makeprg_params variable.  For example:

-
        let b:ruff_makeprg_params = "--max-line-length"..&textwidth
+
        let b:ruff_makeprg_params = "--max-line-length "..&textwidth

The global default is "--preview".

@@ -1433,10 +1433,9 @@ Commonly used compiler options can be added to 'makeprg' by setting the
b/g:pylint_makeprg_params variable.  For example:

-
        let b:pylint_makeprg_params = "--max-line-length"..&textwidth
+
        let b:pylint_makeprg_params = "--max-line-length "..&textwidth

-The global default is "--jobs=n" where n is the number of cores as reported
-by getconf, if executable. Otherwise it defaults to "".
+The global default is "--jobs=0" to use (almost) all cores.

PYUNIT COMPILER                                         compiler-pyunit

diff --git a/tags.html b/tags.html index d2e1820..db0da11 100644 --- a/tags.html +++ b/tags.html @@ -7804,6 +7804,8 @@ ft-html-syntax                syntax.txt
ft-htmlos-syntax              syntax.txt
ft-ia64-syntax                syntax.txt
+ft-idris2-indent              indent.txt
+ft-idris2-plugin              filetype.txt
ft-inform-syntax              syntax.txt
ft-java-plugin                filetype.txt
ft-java-syntax                syntax.txt
diff --git a/usr_10.html b/usr_10.html index 05c2cb7..91132a0 100644 --- a/usr_10.html +++ b/usr_10.html @@ -3,7 +3,7 @@ helpname: 'usr_10' ---
-usr_10.txt    For Vim version 9.1.  Last change: 2019 Nov 22
+usr_10.txt    For Vim version 9.1.  Last change: 2024 Nov 12

                     VIM USER MANUAL - by Bram Moolenaar

@@ -741,6 +741,11 @@ command prints the current time and date.  "!!date<Enter>" replaces the current
line with the output of "date".  This is useful to add a timestamp to a file.

+Note: There is a difference between "!cmd" (e.g. using it without any file
+range) and "{range}!cmd".  While the former will simply execute the external
+command and Vim will show the output, the latter will filter {range}lines
+through the filter and replace that range by the result of the filter command.
+See :! and :range! for details.

WHEN IT DOESN'T WORK

diff --git a/various.html b/various.html index db11ecd..6769e68 100644 --- a/various.html +++ b/various.html @@ -3,7 +3,7 @@ helpname: 'various' ---
-various.txt   For Vim version 9.1.  Last change: 2024 Oct 05
+various.txt   For Vim version 9.1.  Last change: 2024 Nov 12


                  VIM REFERENCE MANUAL    by Bram Moolenaar
@@ -259,7 +259,8 @@
                                                        :!cmd :!
:!{cmd}                 Execute {cmd} with the shell.  See also the 'shell'
-                        and 'shelltype' option.
+                        and 'shelltype' option.  For the filter command, see
+                        :range!.
                                                        E34
                        Any '!' in {cmd} is replaced with the previous
                        external command (see also 'cpoptions').  But not when