Skip to content

Commit

Permalink
install_deps: setup a locale
Browse files Browse the repository at this point in the history
Signed-off-by: Himemori <[email protected]>
Change-Id: Ief977eef817bf17ff3dc46da85b4911949544d62
  • Loading branch information
Himemori authored and Panchajanya1999 committed Oct 5, 2022
1 parent a6ad384 commit 821b042
Showing 1 changed file with 6 additions and 0 deletions.
6 changes: 6 additions & 0 deletions install_deps.sh
Original file line number Diff line number Diff line change
Expand Up @@ -22,3 +22,9 @@ export PATH=/usr/bin/core_perl:$PATH

# Create a symlink for z3
ln -s /usr/lib/libz3.so /usr/lib/libz3.so.4

# Setup locale
echo "LC_ALL=en_US.UTF-8" | sudo tee -a /etc/environment
echo "en_US.UTF-8 UTF-8" | sudo tee -a /etc/locale.gen
echo "LANG=en_US.UTF-8" | sudo tee -a /etc/locale.conf
sudo locale-gen en_US.UTF-8

0 comments on commit 821b042

Please sign in to comment.