summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authorJens John2018-03-19 22:35:41 +0100
committerJens John2018-03-19 22:36:04 +0100
commit4fcfda88fabb4ae8170c09941f962c219d413f4d (patch)
treed10a743c8767ee60b954d216b148d5a6f801a710
parent766ece4447e2296c7c55a7c723bef6ff8af3a26f (diff)
downloadaur-4fcfda88fabb4ae8170c09941f962c219d413f4d.tar.gz
Work around MONO issue #6752
-rw-r--r--.SRCINFO2
-rw-r--r--PKGBUILD2
-rw-r--r--avdump24
3 files changed, 6 insertions, 2 deletions
diff --git a/.SRCINFO b/.SRCINFO
index ed1b9a58d182..7c02a1db36d9 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
pkgbase = avdump2-bin
pkgdesc = AniDB video/audio codec identification utility (command line version)
pkgver = 6714
- pkgrel = 1
+ pkgrel = 2
url = https://wiki.anidb.net/w/Avdump2
arch = any
license = UNKNOWN
diff --git a/PKGBUILD b/PKGBUILD
index 750577560a31..3e3639c99cf3 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
# Maintainer: 2ion
pkgname=avdump2-bin
pkgver=6714
-pkgrel=1
+pkgrel=2
pkgdesc="AniDB video/audio codec identification utility (command line version)"
arch=('any')
url="https://wiki.anidb.net/w/Avdump2"
diff --git a/avdump2 b/avdump2
index bce522f57a39..863d1b8b1e0a 100644
--- a/avdump2
+++ b/avdump2
@@ -1,3 +1,7 @@
#!/bin/bash
AVDUMP2CL="/opt/avdump2/AVDump2CL.exe"
+# Workaround for https://github.com/mono/mono/issues/6752
+if [[ -n "$TERM" ]]; then
+ export TERM=xterm
+fi
exec mono --desktop "$AVDUMP2CL" "$@"