Mercurial > vim
view runtime/indent/dune.vim @ 32218:9c6bc59b6d80 v9.0.1440
patch 9.0.1440: "rvim" can execute a shell through :diffpatch
Commit: https://github.com/vim/vim/commit/23a971da506249fc8388f06cd5c011b83406ac5c
Author: Bram Moolenaar <Bram@vim.org>
Date: Tue Apr 4 22:04:53 2023 +0100
patch 9.0.1440: "rvim" can execute a shell through :diffpatch
Problem: "rvim" can execute a shell through :diffpatch.
Solution: Disallow the shell "patch" command.
author | Bram Moolenaar <Bram@vim.org> |
---|---|
date | Tue, 04 Apr 2023 23:15:06 +0200 |
parents | 15fa3923cc49 |
children | 5c220cf30f1f |
line wrap: on
line source
" Vim indent file " Language: dune " Maintainers: Markus Mottl <markus.mottl@gmail.com> " URL: https://github.com/ocaml/vim-ocaml " Last Change: 2021 Jan 01 if exists("b:did_indent") finish endif let b:did_indent = 1 " dune format-dune-file uses 1 space to indent setlocal softtabstop=1 shiftwidth=1 expandtab