Tag: ubuntu

JabRef is a nice utility to manage your paper references. Using it on a high res ...

Stock installations of Windows 10 in VirtualBox on Ubuntu systems do not allow to automatically scale the display to the host resolution. Especially if you have a display with a high resolution, such as 3480x2160, you might have to do some configuration tweaking to get this feature going. The number of steps can depend on the configurati ...

Xmodmap had been a reliable tool to bring umlauts to the US keyboard layout. However, on modern Ubuntu systems, xmodmap can result in several problems and does no longer work reliably. Using XKB, it is possible to define own layouts that work more reliably. Being able to activate them, seems to change amongst Ubuntu version. Several recom ...

Ubuntu 18.04 does not enable power saving for NVIDIA graphic cards by default. The card will be power-on, even if a secondary graphics chip is the active graphics card. If you selected sudo prime-select intelto ensure that your Intel graphics card is active, then the NVIDIA card will not be disabled. You can use tools like bumblebee to ...