diff options
Diffstat (limited to 'wurzel-old/wurzel-old')
-rw-r--r-- | wurzel-old/wurzel-old | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/wurzel-old/wurzel-old b/wurzel-old/wurzel-old new file mode 100644 index 00000000..453ee4c9 --- /dev/null +++ b/wurzel-old/wurzel-old @@ -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 "$@" +} |