From e54a950327f45164c1900760fa523072389aee20 Mon Sep 17 00:00:00 2001 From: Peter Brant Date: Thu, 21 Mar 2019 14:48:31 -0500 Subject: [PATCH] Allow customization of purs ide server command --- ftplugin/purescript_pscide.vim | 18 +++++++++++------- 1 file changed, 11 insertions(+), 7 deletions(-) diff --git a/ftplugin/purescript_pscide.vim b/ftplugin/purescript_pscide.vim index 76b60a2..efb691f 100644 --- a/ftplugin/purescript_pscide.vim +++ b/ftplugin/purescript_pscide.vim @@ -219,13 +219,17 @@ function! PSCIDEstart(silent) return endif - let command = [ - \ "purs", "ide", "server", - \ "-p", g:psc_ide_server_port, - \ "-d", dir, - \ "src/**/*.purs", - \ "bower_components/**/*.purs", - \ ] + if !exists('g:psc_ide_server_command') + let command = [ + \ "purs", "ide", "server", + \ "-p", g:psc_ide_server_port, + \ "-d", dir, + \ "src/**/*.purs", + \ "bower_components/**/*.purs", + \ ] + else + let command = g:psc_ide_server_command + endif exe "lcd" dir call purescript#ide#utils#debug("PSCIDEstart: " . json_encode(command), 3)