Use this to add the PPA and install the latest Guake in Ubuntu 18.04, 18.10 or 19.04, and Linux Mint 19.x: That means no other packages on your system are upgraded, and you can easily purge the PPA if you want to downgrade Guake to the version you had installed previously. I created this PPA for Guake only, so no other packages are in the PPA.
Related: Tilix: The Almost Perfect Tiling GTK+ 3 Terminal Emulator Many customization options: configure the window width, height and alignment, show the tabs at the top or bottom, set the window transparency, and more.Search in current terminal ( Ctrl + Shift + F).Workspace-specific tab sets (show a different tab set depending on current workspace).Session save/restore (by default it saves your previous session and restores it the next time you run Guake), as well as settings export and import.Quick open: click a file in the terminal output to open it with your favorite text editor.Split terminal functionality (have multiple vertical and horizontal terminals in the same window).Multi-monitor support (you can set it to a monitor, or you can have it appear on the display where the mouse is).Drop-down terminal, is shown or hidden with a keyboard shortcut (can also automatically hide when it loses focus).Execute a command, then press the same key again to hide the terminal, going back to your previous task without breaking your workflow. Guake is inspired by the famous Quake console - the terminal stays hidden until you press a key (default is F12). You can see what's new in recent Guake releases by visiting its project page. The PPA also works in Linux Mint 19.x, and any other Linux distributions based on Ubuntu (18.04-19.04). Ideally Guake should be packaged as a Snap or Flatpak package, so it can be installed on many other Linux distributions, but I don't have experience with those types of packages. Seeing that Ubuntu has quite outdated Guake versions (3.4.0 for Ubuntu 19.04, and 3.0.5 for Ubuntu 18.04, while the latest Guake version is 3.6.3), and creating a Launchpad PPA for the latest Guake releases is the most requested "feature", I created a Guake APT PPA for Ubuntu 19.04, 18.10 and 18.04. Guake is a drop-down terminal for the GNOME desktop which includes split terminal functionality, session save/restore, support for transparency, and many other features.
0 kommentar(er)
