From 1d9787b7d97e0effa0e5478d98051f50252756aa Mon Sep 17 00:00:00 2001 From: Andres Montano <andres.montano@tecnalia.com> Date: Thu, 16 Jun 2022 11:24:49 +0200 Subject: [PATCH] Add gnome-terminal config --- dotfiles/gnome-terminal.dconf | 6 ++++++ 1 file changed, 6 insertions(+) create mode 100644 dotfiles/gnome-terminal.dconf diff --git a/dotfiles/gnome-terminal.dconf b/dotfiles/gnome-terminal.dconf new file mode 100644 index 0000000..47f81d8 --- /dev/null +++ b/dotfiles/gnome-terminal.dconf @@ -0,0 +1,6 @@ +[/] +cursor-shape='ibeam' +font='Hack Nerd Font Mono 12' +scrollback-unlimited=true +use-system-font=false +visible-name='default' -- GitLab