This GNOME extension helps to hide GNOME's top bar when it gets into your way.
In the extension's preferences, different behaviors can be specified: unhiding on mouse-over or on pressing a keyboard shortcut, or when no window requires the space.
If you insist on installing from source, the commands xgettext and msgfmt
from the gettext package (package name may vary depending on your
distribution) are required.
The procedure to install from source is as follows: Check out the source code into your local
extensions directory, compile by running make, install and restart GNOME Shell. For example:
cd ~/.local/share/gnome-shell/extensions/
git clone https://github.com/PuspenduBanerjee/hidetopbar-gnome-shell.git hidetopbar@puspendu.banerjee.gmail.com
cd hidetopbar@puspendu.banerjee.gmail.com
make inst
You might need to log off and on again for the install procedure to take effect under Wayland.
Whenever you notice that there are localizable strings in Hide Top Bar that are not
covered by the strings in ./locale/, you can regenerate the *.pot-file using the
following command:
make ./locale/hidetopbar.pot
To then incorporate the changes to the actual translation files for each language, run one of the following commands:
make all-po # For updating the files for all languages
make ./locale/XX/LC_MESSAGES/hidetopbar.po # For updating one specific po file, where 'XX' is the language code
As mentioned in the previous section, running make requires the gettext package
to be installed (the package names may vary depending on your distribution).
Using the extension Panel OSD, you can configure notification pop-ups to show up in a different position (e.g. a few pixels down) where they won't overlap with the top bar.
This is an issue of the extension Dash to Dock, see also this comment.
Copyright (c) 2013-2023 Thomas Vogt.
Copyright (c) 2012-2013 Mathieu Lutfy.
Copyright (c) 2012 Philip Witte.
Copyright (c) 2024 Puspendu Banerjee.
Hide Top Bar is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.
Hide Top Bar is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.
You should have received a copy of the GNU General Public License along with Hide Top Bar (see COPYING.txt). If not, see gnu.org/licenses/.