annotate src/which.sh @ 18043:5a0d5f8e1778 v8.1.2017

patch 8.1.2017: cannot execute commands after closing the cmdline window Commit: https://github.com/vim/vim/commit/96e38a86a710fb6daec4550ac1667f019dc3a40e Author: Bram Moolenaar <Bram@vim.org> Date: Mon Sep 9 18:35:33 2019 +0200 patch 8.1.2017: cannot execute commands after closing the cmdline window Problem: Cannot execute commands after closing the cmdline window. Solution: Also trigger BufEnter and WinEnter. (closes https://github.com/vim/vim/issues/4762)
author Bram Moolenaar <Bram@vim.org>
date Mon, 09 Sep 2019 18:45:04 +0200
parents 3fc0f57ecb91
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
7
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
1 #! /bin/sh
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
2 #
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
3 # which.sh -- find where an executable is located. It's here because the
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
4 # "which" command is not supported everywhere. Used by Makefile.
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
5
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
6 IFS=":"
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
7 for ac_dir in $PATH; do
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
8 if test -f "$ac_dir/$1"; then
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
9 echo "$ac_dir/$1"
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
10 break
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
11 fi
3fc0f57ecb91 updated for version 7.0001
vimboss
parents:
diff changeset
12 done