Build Synergy in Ubuntu 19.04

Posted on October 10, 2019 by

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 https://github.com/symless/synergy-core.git
cd synergy
mkdir build
cd build
cmake ..
make
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.

Source: https://github.com/symless/synergy-core/wiki/Compiling

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

Posted on June 17, 2019 by

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

[X11]
 EnableHiDPI=true
 ServerArguments=-nolisten tcp -dpi 192

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

Sources: https://www.reddit.com/r/kde/comments/amybg5/login_screen_on_hidpi_4k_screen/

Posted in Linux | Tagged , , | 2 Comments

Get your Desktop Icons BACK on Ubuntu 19.04 with Nemo

Posted on April 24, 2019 by

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!

Source: https://www.linuxuprising.com/2018/07/how-to-replace-nautilus-with-nemo-file.html

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

Reset your Ubuntu Desktop to its default settings

Posted on April 18, 2019 by 
dconf reset -f /

Sources:

https://www.omgubuntu.co.uk/2017/10/how-to-reset-ubuntu-desktop-to-default

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

How to check the DHCP server on Ubuntu

Posted on April 3, 2019 by

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

Posted on April 2, 2019 by

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

Source:

https://docs.docker.com/engine/reference/commandline/dockerd/

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

Print a batch of files on Ubuntu 18.10

Posted on February 18, 2019 by

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!

Source: https://makandracards.com/makandra/24202-linux-how-to-print-pdf-files-from-the-command-line

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