joshtronic/dotfiles
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

Fix gnome-terminal border in GNOME 3.32+

Browse source 
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
This commit is contained in:
Josh Sherman 2019-09-29 12:13:30 -05:00
parent 007a772466
commit cfc516a82c
No known key found for this signature in database
GPG key ID: 55B058A80530EF22
1 changed files with 4 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

4
install
View file

@ -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! :)"