⚡ Install HaranoAjiFonts as default Tex font

red-data-tools · Jul 24, 2023 · 520fcaa · 520fcaa
1 parent 7723b3c
commit 520fcaa
Showing 1 changed file with 8 additions and 4 deletions.
diff --git 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