From 830add6f7bfb80cea036e73f4c36dd3c92564ad7 Mon Sep 17 00:00:00 2001 From: Konstantin Bukley Date: Sat, 26 Jan 2019 16:13:04 +0200 Subject: [PATCH] alacritty: use fira code font --- TODO.md | 2 -- alacritty/.config/alacritty/alacritty.yml | 24 +++++++++++------------ 2 files changed, 12 insertions(+), 14 deletions(-) delete mode 100644 TODO.md diff --git a/TODO.md b/TODO.md deleted file mode 100644 index 980e379..0000000 --- a/TODO.md +++ /dev/null @@ -1,2 +0,0 @@ -* cleanup all this mess -* use this repo instead of stuff diff --git a/alacritty/.config/alacritty/alacritty.yml b/alacritty/.config/alacritty/alacritty.yml index 0d7dd27..b7edb45 100644 --- a/alacritty/.config/alacritty/alacritty.yml +++ b/alacritty/.config/alacritty/alacritty.yml @@ -24,8 +24,8 @@ window: # Units are physical pixels; this is not DPI aware. # (change requires restart) padding: - x: 2 - y: 2 + x: 3 + y: 3 # Window decorations # Setting this to false will result in window without borders and title bar. @@ -44,21 +44,21 @@ draw_bold_text_with_bright_colors: true font: # The normal (roman) font face to use. normal: - family: Monaco + family: Fira Code # Style can be specified to pick a specific face. - # style: Regular + style: Retina # The bold font face bold: - family: Monaco + family: Fira Code # Style can be specified to pick a specific face. - # style: Bold + style: Bold # The italic font face italic: - family: Monaco + family: Fira Code # Style can be specified to pick a specific face. - # style: Italic + style: Light # Point size of the font size: 14.0 @@ -198,10 +198,10 @@ live_config_reload: true # You can set shell.program to the path of your favorite shell, e.g. /bin/fish. # Entries in shell.args are passed unmodified as arguments to the shell. # -# shell: -# program: /bin/bash -# args: -# - --login +shell: + program: /bin/bash + args: + - --login # Key bindings #