diff options
author | Jens John | 2018-03-19 22:35:41 +0100 |
---|---|---|
committer | Jens John | 2018-03-19 22:36:04 +0100 |
commit | 4fcfda88fabb4ae8170c09941f962c219d413f4d (patch) | |
tree | d10a743c8767ee60b954d216b148d5a6f801a710 | |
parent | 766ece4447e2296c7c55a7c723bef6ff8af3a26f (diff) | |
download | aur-4fcfda88fabb4ae8170c09941f962c219d413f4d.tar.gz |
Work around MONO issue #6752
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 2 | ||||
-rw-r--r-- | avdump2 | 4 |
3 files changed, 6 insertions, 2 deletions
@@ -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 @@ -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" @@ -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" "$@" |