diff options
| author | Erich Eckner <git@eckner.net> | 2016-07-21 13:03:32 +0200 |
|---|---|---|
| committer | Erich Eckner <git@eckner.net> | 2016-07-21 13:06:34 +0200 |
| commit | 72022b026c3e7d1bbab4052077d3c276d6604139 (patch) | |
| tree | d87d50a248e4742c8559fa0e389d0ad38da1bd59 /wurzel-xml/wurzel-xml | |
| parent | 0f02cb32887aef881d0fe55435e2733c2a99309a (diff) | |
| download | archlinuxewe.git.save-72022b026c3e7d1bbab4052077d3c276d6604139.tar.xz | |
Wurzelklasse neu
Diffstat (limited to 'wurzel-xml/wurzel-xml')
| -rw-r--r-- | wurzel-xml/wurzel-xml | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/wurzel-xml/wurzel-xml b/wurzel-xml/wurzel-xml new file mode 100644 index 00000000..453ee4c9 --- /dev/null +++ b/wurzel-xml/wurzel-xml @@ -0,0 +1,19 @@ +#!/bin/sh + +_refresh() { + TEXMFLOCAL="$(texconfig conf | grep TEXMFLOCAL | cut -f2 -d'=' | sed 's|^.*:||')" + echo "Rebuilding tex filename database" + texhash --quiet "${TEXMFLOCAL}" +} + +post_install() { + _refresh "$@" +} + +post_upgrade() { + _refresh "$@" +} + +post_remove() { + _refresh "$@" +} |