patch 8.1.0030: stoping Vim running in a terminal may not work commit https://github.com/vim/vim/commit/3339d3dad93a44eac76c71cfa48c86a20d3dddcc Author: Bram Moolenaar <Bram@vim.org> Date: Sun Jun 3 17:10:40 2018 +0200 patch 8.1.0030: stoping Vim running in a terminal may not work Problem: Stoping Vim running in a terminal may not work. Solution: Instead of sending <Esc> send CTRL-O.

#! /bin/sh
#
# pathdef.sh: adjust pathdef.c for auto/link.sed, if it exists
#
if test -s auto/link.sed; then
  cp auto/pathdef.c auto/pathdef.tmp
  sed -f auto/link.sed <auto/pathdef.tmp >auto/pathdef.c
  rm -f auto/pathdef.tmp
fi

# vim:set sw=2 et: