pomp/setup-script-py
1
0
Fork 0
Code Activity

updated fonts for korean characters

Browse source
This commit is contained in:
Kim, Jimin 2021-12-04 12:16:42 +09:00
parent 6ddd471b0d
commit 168919a425
2 changed files with 3 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

4
home/pomp/.config/VSCodium/User/settings.json
View file

@ -5,9 +5,9 @@
"git.enableSmartCommit": true, "git.enableSmartCommit": true,
"git.confirmSync": false, "git.confirmSync": false,
"git.autofetch": true, "git.autofetch": true,
"terminal.integrated.fontFamily": "'NotoSansMono Nerd Font'",
"editor.fontSize": 16, "editor.fontSize": 16,
"editor.fontFamily": "'Ubuntu Mono'", "editor.fontFamily": "'Ubuntu Mono', 'NanumGothicCoding'",
"terminal.integrated.fontFamily": "'NotoSansMono Nerd Font'",
"editor.formatOnSave": true, "editor.formatOnSave": true,
"editor.formatOnPaste": true, "editor.formatOnPaste": true,
"gitlens.currentLine.enabled": false, "gitlens.currentLine.enabled": false,

1
setup.sh
View file

@ -262,6 +262,7 @@ setup_fonts() {
"Audiowide" "Audiowide"
"Varela Round" "Varela Round"
"Ubuntu Mono" "Ubuntu Mono"
"Nanum Gothic Coding"
) )
# create fonts directory if it does not exist # create fonts directory if it does not exist