How to remove title bar from terminal on the new Ubuntu 20.04?
What finally worked for me was to run:
sudo apt install gnome-shell-extension-pixelsaver
gnome-extensions enable [email protected]
gsettings set org.gnome.Terminal.Legacy.Settings headerbar false
in the terminal, then restart the shell (Alt-F2, r).