From 04ce9dcae04362887630669e804baedd31689a68 Mon Sep 17 00:00:00 2001 From: Dan Buch Date: Sun, 16 Feb 2025 15:17:12 -0500 Subject: [PATCH] Minimal ghostty config --- config/ghostty/config | 48 +++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 48 insertions(+) create mode 100644 config/ghostty/config diff --git a/config/ghostty/config b/config/ghostty/config new file mode 100644 index 0000000..fac5b3c --- /dev/null +++ b/config/ghostty/config @@ -0,0 +1,48 @@ +# This is the configuration file for Ghostty. +# +# This template file has been automatically created at the following +# path since Ghostty couldn't find any existing config files on your system: +# +# /home/me/.config/ghostty/config +# +# The template does not set any default options, since Ghostty ships +# with sensible defaults for all options. Users should only need to set +# options that they want to change from the default. +# +# Run `ghostty +show-config --default --docs` to view a list of +# all available config options and their default values. +# +# Additionally, each config option is also explained in detail +# on Ghostty's website, at https://ghostty.org/docs/config. + +# Config syntax crash course +# ========================== +# # The config file consists of simple key-value pairs, +# # separated by equals signs. +# font-family = Iosevka +# window-padding-x = 2 +# +# # Spacing around the equals sign does not matter. +# # All of these are identical: +# key=value +# key= value +# key =value +# key = value +# +# # Any line beginning with a # is a comment. It's not possible to put +# # a comment after a config option, since it would be interpreted as a +# # part of the value. For example, this will have a value of "#123abc": +# background = #123abc +# +# # Empty values are used to reset config keys to default. +# key = +# +# # Some config options have unique syntaxes for their value, +# # which is explained in the docs for that config option. +# # Just for example: +# resize-overlay-duration = 4s 200ms + +font-family = Comic Code +font-family-bold = Comic Code Bold +font-family-italic = Comic Code Italic +font-family-bold-italic = Comic Code Bold Italic