diff options
author | Jens John | 2018-09-15 13:13:26 +0200 |
---|---|---|
committer | Jens John | 2018-09-15 13:14:57 +0200 |
commit | a90e78044fcb8d731a7b5c1d545d92f56745f8d5 (patch) | |
tree | f3e57233212a89c3940c2caf16284550ed63d9ea | |
parent | 4fcfda88fabb4ae8170c09941f962c219d413f4d (diff) | |
download | aur-a90e78044fcb8d731a7b5c1d545d92f56745f8d5.tar.gz |
6714-3: Revert "Work around MONO issue #6752"
This reverts commit 4fcfda88fabb4ae8170c09941f962c219d413f4d.
The mono issue was resolved in upstream 5.12.x. As Arch is now on
5.14.x, we can remove the workaround.
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 2 | ||||
-rw-r--r-- | avdump2 | 4 |
3 files changed, 2 insertions, 6 deletions
@@ -1,7 +1,7 @@ pkgbase = avdump2-bin pkgdesc = AniDB video/audio codec identification utility (command line version) pkgver = 6714 - pkgrel = 2 + pkgrel = 3 url = https://wiki.anidb.net/w/Avdump2 arch = any license = UNKNOWN @@ -1,7 +1,7 @@ # Maintainer: 2ion pkgname=avdump2-bin pkgver=6714 -pkgrel=2 +pkgrel=3 pkgdesc="AniDB video/audio codec identification utility (command line version)" arch=('any') url="https://wiki.anidb.net/w/Avdump2" @@ -1,7 +1,3 @@ #!/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" "$@" |