From 520fcaaf663d5d266873c8b82e315753f0563a48 Mon Sep 17 00:00:00 2001 From: Hirokazu SUZUKI Date: Mon, 24 Jul 2023 21:56:11 +0900 Subject: [PATCH] :zap: Install HaranoAjiFonts as default Tex font --- .devcontainer/onCreateCommand.sh | 12 ++++++++---- 1 file changed, 8 insertions(+), 4 deletions(-) diff --git a/.devcontainer/onCreateCommand.sh b/.devcontainer/onCreateCommand.sh index bcf50bb5..b860164e 100755 --- a/.devcontainer/onCreateCommand.sh +++ b/.devcontainer/onCreateCommand.sh @@ -65,7 +65,11 @@ iruby register --force sudo apt-get update sudo apt-get install -y language-pack-ja -echo 'export LANG=ja_JP.UTF-8' >> ~/.bashrc -echo 'export LANG=ja_JP.UTF-8' >> ~/.profile -echo 'export TZ=Asia/Tokyo' >> ~/.bashrc -echo 'export TZ=Asia/Tokyo' >> ~/.profile +echo 'export LANG=ja_JP.UTF-8' >> $HOME/.bashrc +echo 'export LANG=ja_JP.UTF-8' >> $HOME/.profile +echo 'export TZ=Asia/Tokyo' >> $HOME/.bashrc +echo 'export TZ=Asia/Tokyo' >> $HOME/.profile + +# Install HaranoAjiFonts +mkdir -p $HOME/.fonts +git clone https://github.com/trueroad/HaranoAjiFonts.git $HOME/.fonts/HaranoAjiFonts