diff options
author | Felipe Morales | 2018-09-08 10:46:20 +0000 |
---|---|---|
committer | GitHub | 2018-09-08 10:46:20 +0000 |
commit | 9f863a0e6472963018b86bbe38af440f3ed9ae74 (patch) | |
tree | d378d620e23dc96defa48a8fac0111c088f41c6c | |
parent | 1a019a7561aaf86054e9381ef580067580c4f138 (diff) | |
download | aur-9f863a0e6472963018b86bbe38af440f3ed9ae74.tar.gz |
check for gnome-terminal-server path for gnome 3.30
-rwxr-xr-x | nvim-wrapper | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/nvim-wrapper b/nvim-wrapper index 3523813f893a..00ed33ce1f09 100755 --- a/nvim-wrapper +++ b/nvim-wrapper @@ -16,6 +16,7 @@ NAME = 'Neovim' def find_terminal_server(): candidates = list(filter(os.path.exists, \ ('/usr/lib/gnome-terminal/gnome-terminal-server', # arch et al + '/usr/lib/gnome-terminal-server', '/usr/libexec/gnome-terminal-server'))) # fedora 22 if len(candidates) > 0: return candidates[0] |