wok diff locale-en/receipt @ rev 21427
updated mediainfo and mediainfo-gui (0.7.79 -> 19.04)
author | Hans-G?nter Theisgen |
---|---|
date | Thu Apr 25 17:54:21 2019 +0100 (2019-04-25) |
parents | 7042a09beaeb |
children | a4853170daf3 |
line diff
1.1 --- a/locale-en/receipt Fri Jun 03 01:02:47 2016 +0300 1.2 +++ b/locale-en/receipt Thu Apr 25 17:54:21 2019 +0100 1.3 @@ -29,5 +29,6 @@ 1.4 # Back to C if it's the last used locale. 1.5 post_remove() 1.6 { 1.7 + grep -q =$LOCALE /etc/locale.conf && 1.8 echo -e "LANG=C\nLC_ALL=C" > /etc/locale.conf 1.9 }