diff options
Diffstat (limited to 'metals-emacs.sh')
| -rwxr-xr-x | metals-emacs.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/metals-emacs.sh b/metals-emacs.sh index f248ea26a4b5..ea3f2091429c 100755 --- a/metals-emacs.sh +++ b/metals-emacs.sh @@ -2,4 +2,4 @@ set -e -_METALS_CLIENT=emacs metals-client "$@" +_METALS_CLIENT=emacs exec metals-client "$@" |