blob: 23bb3cfdb6d312f1d716d2b061bfd744879cd290 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
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 $*
|