diff options
Diffstat (limited to 'vim-julia.install')
-rw-r--r-- | vim-julia.install | 24 |
1 files changed, 24 insertions, 0 deletions
diff --git a/vim-julia.install b/vim-julia.install new file mode 100644 index 000000000000..23bb3cfdb6d3 --- /dev/null +++ b/vim-julia.install @@ -0,0 +1,24 @@ +# based on vimdoc.install from vim-rust-git +post_install() { + echo -n "Updating vim help tags..." + /usr/bin/vim --noplugins -u NONE -U NONE \ + --cmd ":helptags /usr/share/vim/doc" --cmd ":q" > /dev/null 2>&1 + echo "done." + + echo "To use the julia commands, you may need to insert this line in your ~/.vimrc:" + echo " filetype plugin on" +} + +post_upgrade() { + post_install $1 +} + +post_remove() { + post_install +} + +op=$1 +shift + +$op $* + |