blob: b9e9a833039c9567ace073ebd2fb02c50f4db2a5 (
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
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
|
#!/bin/bash
if test '!' -f "`pwd`/autolatex.pl"
then
echo "You must launch this script from the AutoLaTeX root directory." >&2
exit 255
fi
AUTOLATEX_DIR=`pwd`
AUTOLATEX_DIR=`readlink -f "$AUTOLATEX_DIR"`
# GEDIT
GTK3_SOURCE_DIR="$AUTOLATEX_DIR/libs/gtk3/autolatex"
# GEDIT
GEDIT_SOURCE_DIR="$AUTOLATEX_DIR/plugins/gedit3"
GEDIT_DEST_DIR="$HOME/.local/share/gedit/plugins"
echo "AUTOLATEX_DIR=$AUTOLATEX_DIR"
echo "GEDIT_SOURCE=$GEDIT_SOURCE_DIR"
echo "GEDIT_DEST=$GEDIT_DEST_DIR"
if [ "$1" = "install" ]
then
#
# GEDIT
#
mkdir -p "$GEDIT_DEST_DIR"
rm -rfv "$GEDIT_DEST_DIR/autolatexeditor"
rm -f "$GEDIT_DEST_DIR/autolatexeditor.plugin"
cp -Rfs "$GEDIT_SOURCE_DIR/"* "$GEDIT_DEST_DIR/"
cp -Rs "$GTK3_SOURCE_DIR/"* "$GEDIT_DEST_DIR/autolatex/"
#
# CONFIG
#
mv -fv "$AUTOLATEX_DIR/default.cfg" "$AUTOLATEX_DIR/default.cfg.orig"
cp -fv "$AUTOLATEX_DIR/default_debug.cfg" "$AUTOLATEX_DIR/default.cfg"
elif [ "$1" = "remove" ]
then
#
# GEDIT
#
rm -rfv "$GEDIT_DEST_DIR/autolatex"
rm -fv "$GEDIT_DEST_DIR/autolatex.plugin"
#
# CONFIG
#
cd "$AUTOLATEX_DIR"
mv -fv default.cfg.orig default.cfg 2>/dev/null
else
echo "`basename $0` install|remove" >&2
exit 255
fi
|