From 9649a5030903bf385ff29ca9affeedc97224445d Mon Sep 17 00:00:00 2001 From: Miller Piao <76028025+gzmiller@users.noreply.github.com> Date: Thu, 26 Aug 2021 19:56:58 +0800 Subject: [PATCH] Use bash instead of sh `time -p` runs properly in `bash` but not in `sh` --- plugin/runner.vim | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/plugin/runner.vim b/plugin/runner.vim index 362ceb7..ab12a70 100755 --- a/plugin/runner.vim +++ b/plugin/runner.vim @@ -12,7 +12,7 @@ if v:version < 700 endif let has_loaded_runner = 1 -set shell=/bin/sh +set shell=/bin/bash set shellcmdflag=-c