Build Synergy in Ubuntu 19.04

Synergy software, which shares your keyboard and mouse to multiple computers through the network, is no longer available in the Ubuntu 19.04 repos, so the only remaining option is to build it from source:

sudo apt install qtcreator qtbase5-dev cmake make g++ xorg-dev libssl-dev libx11-dev libsodium-dev libgl1-mesa-glx libegl1-mesa libcurl4-openssl-dev libavahi-compat-libdnssd-dev qtdeclarative5-dev libqt5svg5-dev libsystemd-dev git build-essential
git clone
cd synergy
mkdir build
cd build
cmake ..
sudo make install

That’s it, Enjoy!

Note: After starting Synergy, you don’t have to enter the serial to get basic functionality, just cancel and you are good to go.


Posted in Linux, Ubuntu | Tagged , | Leave a comment

Fix icon and text size for hidpi displays on login screen in KDE on Ubuntu 19.04

Just create/edit the file /etc/sddm.conf and add the following:

ServerArguments=-nolisten tcp -dpi 192

Reboot, and you’re good to go, Enjoy!


Posted in Linux | Tagged , , | 2 Comments

Get your Desktop Icons BACK on Ubuntu 19.04 with Nemo

Gnome disabled OOTB support for managing Desktop icons, and is now handled via a gnome shell extension that is missing many features and not quite usable.

The best solution I found so far was to install nemo (file manager on Linux Mint) and make it the default instead of Gnome Files (formerly nautilus) and let it handle the desktop icons as well.

  1. Disable the Desktop Icons extension (from Gnome Tweaks -> Extensions) if it already exists
  2. Install nemo:
    1. sudo apt install nemo
  3. Make nemo the default file manager and disable nautilus control of desktop:
    1. xdg-mime default nemo.desktop inode/directory application/x-gnome-saved-search
    2. gsettings set org.gnome.desktop.background show-desktop-icons false
  4. Add nemo-desktop to your startup items

That’s it, Enjoy!


Posted in Linux, Ubuntu | Tagged , , , , | 3 Comments

Reset your Ubuntu Desktop to its default settings

dconf reset -f /


Posted in Linux, Ubuntu | Tagged , , , | Leave a comment

How to check the DHCP server on Ubuntu

This is if you need to know which server gave you your dynamic IP:

cat /var/lib/dhcp/dhclient.leases 

That’s it, Enjoy!

Posted in Ubuntu | Tagged , , , | Leave a comment

Change default storage location of docker containers on Ubuntu 18.04 and 18.10

This was tested on Docker version 18.09.4, build d14af54266, it includes ALL docker data.

Just edit/create a file inside /etc/docker named daemon.json and add the following:

"data-root": "/new_location"

then simply restart docker:

sudo service docker restart


Posted in docker | Tagged , , , , | Leave a comment

Print a batch of files on Ubuntu 18.10

Here we will send a batch of files inside a directory to the default printer in Ubuntu.

First of all, you’d better define a default printer in your system by going to Printers and then select Use Printer by Default:

Next, just invoke the lpr command, e.g.

lpr *.pdf

That’s it, Enjoy!


Posted in Linux | Tagged , , , | Leave a comment