diff options
| author | Urbain Vaes <urbain@vaes.uk> | 2017-06-07 13:04:32 +0100 |
|---|---|---|
| committer | Urbain Vaes <urbain@vaes.uk> | 2017-06-07 13:04:32 +0100 |
| commit | 4ef38f411ec198328b5c18ba4b56b1499e4bc798 (patch) | |
| tree | c385e8e47ce2ae7e6967ae7384775dcebc82e059 /vim/.vim/compiler | |
| parent | 2da45eb37e5207a0a0f62f0714e0f2f3676f3fe3 (diff) | |
Add script to facilitate qutebrowser navigation
Diffstat (limited to 'vim/.vim/compiler')
| -rw-r--r-- | vim/.vim/compiler/gmsh.vim | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/vim/.vim/compiler/gmsh.vim b/vim/.vim/compiler/gmsh.vim new file mode 100644 index 0000000..70148e8 --- /dev/null +++ b/vim/.vim/compiler/gmsh.vim @@ -0,0 +1,12 @@ +if exists("current_compiler") + finish +endif + +let current_compiler = "gmsh" + +if exists(":CompilerSet") != 2 + command -nargs=* CompilerSet setlocal <args> +endif + +setlocal errorformat=[1m[31mError\ \ \ :\ \'%f\'\\,\ line\ %l\ :\ %m[0m +setlocal makeprg=gmsh\ %\ -\\|&\ grep\ Error |