wok diff locale-id/receipt @ rev 25020
updated openmpi and openmpi-dev (4.0.3 -> 4.1.3)
author | Hans-G?nter Theisgen |
---|---|
date | Wed May 18 08:05:48 2022 +0100 (2022-05-18) |
parents | a52ffca61a1d |
children |
line diff
1.1 --- a/locale-id/receipt Mon Mar 25 20:50:34 2019 +0100 1.2 +++ b/locale-id/receipt Wed May 18 08:05:48 2022 +0100 1.3 @@ -29,6 +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 + grep -qs =$LOCALE /etc/locale.conf && 1.9 echo -e "LANG=C\nLC_ALL=C" > /etc/locale.conf 1.10 }