List GPG keys:
sudo apt-key list
Update an expired GPG key:
sudo apt-key adv --keyserver keys.gnupg.net --recv-keys 8C718D3B5072E1F5
Remove a GPG key:
sudo apt-key del 8C718D3B5072E1F5
Show the keyboard layout graphically:
gkbd-keyboard-display -g 1
Tell where is located a .pc file (if found in $PKG_CONFIG_PATH) of a library (e.g.: GTK3).
pkg-config --variable=pcfiledir gtk+-3.0
- Decide to merge or not with system.md. If not, draw a clearer line between here and there.
- Investigate into "cpu cache l1 l2 l3".