From cfc516a82cc9165fe429ad2f2423c31fd5956fee Mon Sep 17 00:00:00 2001 From: Josh Sherman Date: Sun, 29 Sep 2019 12:13:30 -0500 Subject: [PATCH] Fix `gnome-terminal` border in GNOME 3.32+ The `gnome-terminal` moved to the same fancy window decorations that the Files app has. I still prefer my terminal be be 100% without border, so have to run this to force the terminal into legacy mode. Not sure how long this one will stick, but it's still working in GNOME 3.34 Closes #23 --- install | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/install b/install index ff3dc90..659d663 100755 --- a/install +++ b/install @@ -91,5 +91,9 @@ curl -o "$HOME/.vim/colors/" https://raw.githubusercontent.com/altercation/vim-c cd "$HOME" || exit rm -f "${HOME}/.zcompdump*" +# Required to kill the terminal's border in GNOME 3.32+ +gsettings set org.gnome.Terminal.Legacy.Settings headerbar "@mb false" +echo "If this is your first time, you should restart GNOME" + echo echo "ENJOY! :)"