Ubuntu MATE: Add a new panel
To add a new panel in MATE:
- Right-click on an existing panel and choose New Panel
- A new panel will appear at the bottom of the screen
- Right-click on the new panel, choose Properties and uncheck Expand
- Alt+Drag the panel to the desired location (e.g. to a second monitor)
- In the properties, check Expand again.
Related cards:
Ubuntu MATE: Shortcut launcher for a web application
For some years Google Chrome has allowed you to add desktop icon for any web page by going to Tools / Add to desktop. Unfortunately this doesn't work reliably on Ubuntu MATE with recent Chromes: The icons could not be moved away from the desktop...
Ubuntu: Open a new terminal window with a keyboard shortcut
To open a terminal quickly navigate to System → Preferences → Keyboard Shortcuts. There, click the "Run a terminal" row (It should be in the "Desktop" section) and press the keyboard shortcut you like.
If you cannot find such an entry you may nee...
Ubuntu MATE: Custom time format for clock panel widget
- Run
dconf-editor
(as your user) - Go to
org / mate / panel / objects / clock / prefs
- Change the key
format
tocustom
- Change the key
custom-format
to astrftime
format string
A good, s...
ActiveStorage: How to add a new preprocessed named version
Given there is a user with an attachable avatar:
class User < ApplicationRecord
has_one_attached :avatar
end
If you want to add a preprocessed version follow these steps:
- Add the named version and deploy
class User < A...
Move a Gnome panel to another monitor in Ubuntu
In older Ubuntu releases you could ALT+drag any panel bar to another position and/or monitor. In Ubuntu 11.04 Natty you need to perform the steps from the attached article instead:
- Right-click on the panel to access the panel properties
- Unc...
Awesome WM: workaround for gnome or mate panel stealing focus
If you use awesome 3.5, and a gnome or mate panel, the panel will often receive focus when you switch desktops. As a workaround:
- Add this rule to your rc.lua:
{ rule = { class = "Mate-panel" }, properties = { ontop = true, focusable ...
Ubuntu: Reload Gnome panel while keeping user session
Sometimes you need to restart the Gnome panel, e.g. when you installed a new Gnome panel widget but the widget list was cached before.
You often don't want to do sign out and back in for this.
Instead, just run:
killall gnome-panel
This ...
How to mirror a git repo to a new remote
Say you want to move a git repository from one remote (perhaps Github) to another (perhaps Gitlab).
If you have the repo checked out, you still should make sure to mirror all branches of the old remote, not only those you happen to have checked o...
New Firefox and gem versions for our Selenium testing environment (Ubuntu 14.04+)
Firefox 5.0.1, which we were using for most Rails 2.3 projects, does not run on Ubuntu 14.04 any more. Here is how to update affected projects.
- Update (or create)
.firefox-version
with the content:24.0
If you haven't installed Firefo...
How to install packages from newer Ubuntu releases
We're usually running Ubuntu LTS versions. Sometimes newer hardware requires packages from more recent Ubuntu releases that only come with 6 months of support. If there is really no other way, it's possible to install packages from later Ubuntu re...