blob: 9f2aacaa8c184eb44b8e9e97f8b97968dd3fb54e (
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
59
60
61
62
63
64
65
66
|
error ()
{
echo "ERROR: $1"
exit 1
}
dependecyError ()
{
echo "ERROR: The command '$1' could not be found."
echo "Please make sure it is included in the \$PATH enviroment variable or follow the installation instructions on $2."
exit 1
}
if [ "$(id -u)" -ne "0" ]; then
error "This script requires administrator-privileges"
fi
if [ -z "$(which bash)" ]; then
dependencyError "bash" "https://www.gnu.org/software/bash//"
fi
if [ -z "$(which xelatex)" ]; then
dependencyError "xelatex" "https://tug.org/texlive/"
fi
if [ -z "$(which pdf2svg)" ]; then
dependencyError "pdf2svg" "https://github.com/dawbarton/pdf2svg"
fi
printf "INSTALLING tikztosvg(1):\n\n"
if [ -f $HOME/.local/bin/tikztosvg ]; then
rm $HOME/.local/bin/tikztosvg
fi
wget https://raw.githubusercontent.com/GarkGarcia/tikztosvg/master/tikztosvg -P $HOME/.local/bin/
if [ "$?" -ne "0" ]; then
exit 1
fi
chmod +x $HOME/.local/bin/tikztosvg
man "tikztosvg" > /dev/null 2>&1
if [ "$?" -ne "0" ]; then
tmp="$(mktemp -d)"
printf "INSTALLING MANUAL ENTRY FOR tikztosvg(1):\n\n"
wget https://raw.githubusercontent.com/GarkGarcia/tikztosvg/master/man/tikztosvg.1 -P "$tmp"
install -g 0 -o 0 -m 0644 "$tmp/tikztosvg.1" $HOME/.local/share/man/man1/
if [ "$?" -ne "0" ]; then
exit 1
fi
if [ -f $HOME/.local/share/man/man1/tikztosvg.1.gz ]; then
rm $HOME/.local/share/man/man1/tikztosvg.1.gz
fi
gzip $HOME/.local/share/man/man1/tikztosvg.1
rm "$tmp" -r
if [ "$?" -ne "0" ]; then
exit 1
fi
fi
|