Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
default UTF-8 locale, to work with funny base directory (e.g. Chinese);
authorwenzelm
Fri, 28 Jan 2011 13:19:21 +0100
changeset 41643 10b0d338d99e
parent 41642 b9442d9ce7f5
child 41644 a6c45c8d52fc
default UTF-8 locale, to work with funny base directory (e.g. Chinese);
Admin/MacOS/App1/script file | annotate | diff | comparison | revisions 
--- a/Admin/MacOS/App1/script	Fri Jan 28 11:19:12 2011 +0100
+++ b/Admin/MacOS/App1/script	Fri Jan 28 13:19:21 2011 +0100
@@ -10,9 +10,12 @@
 
 
 # sane environment defaults
+
 cd "$HOME"
 PATH="$PATH:/opt/local/bin"
 
+[ -z "$LANG" ] && export LANG=en_US.UTF-8
+
 
 # settings support
isabelle