Quand aucune locale n'est dfinie, on veut utiliser ISO-8859-15 et non

ANSI_X3.4-1968.

darcs-hash:20060409044000-68412-a870d8b22933e5df231361b527128315ee67bb90.gz
This commit is contained in:
glondu 2006-04-09 06:40:00 +02:00
parent 4eb20d7ab4
commit 64333251cf

View file

@ -16,6 +16,10 @@ try:
except: except:
encoding = sys.stdin.encoding or "ISO-8859-15" encoding = sys.stdin.encoding or "ISO-8859-15"
# Si aucune locale n'est définie, on se met en ISO-8859-15
if encoding == "ANSI_X3.4-1968":
encoding = "ISO-8859-15"
if 'TERM' in os.environ and os.environ['TERM'] != 'unknown': if 'TERM' in os.environ and os.environ['TERM'] != 'unknown':
el = os.popen('tput cr ; tput el').read() el = os.popen('tput cr ; tput el').read()
else: else: