Linux Mint installation

Install media preparation

Download latest Linux Mint image from:

Recent Linux Mint uses an hybrid ISO image. This allows to boot a raw copy to USB disk.

# isohybrid linuxmint*.iso # Not required: Linux Mint ISO is already hybrid.
sudo dd if=linuxmint*.iso of=/dev/sdx oflag=direct bs=1048576

The USB key can be used on the target PC to install and configure Linux Mint.


Tool installation

# Must have tools
sudo apt-get install geany meld

# If plot is required,
sudo apt-get install gnuplot-x11

# For disk management,
sudo apt-get install gparted

# Virtualbox only: enable shared drive access:
sudo usermod -a -G vboxsf user

User management

sudo useradd -g hwlab -m -s "/bin/bash" bertrand
sudo usermod -a -G adm,cdrom,sudo,dip,plugdev,lpadmin,sambashare

Sudo No Password

echo "user ALL = NOPASSWD: ALL" | sudo tee /etc/sudoers.d/user

VNC Server

Linux mint includes Vino VNC server. It is enabled via:

> Menu > Preferences > Desktop Sharing

Note: In the case where client can connect due to security issues, you may try:

sudo gsettings set org.gnome.Vino require-encryption false

Sound disabling

# Disable Shell bell
echo "set bell-style visible" | sudo tee -a /etc/inputrc

# Disable vim bell
echo "set visualbell" > ~/.vimrc

Synergy / Barrier

Synergy is a tool that allows to share keyboard / mouse across multiple hosts

Barrier is a fork that stays open source

Install barrier from sources (linux)

Barrier binary image are not provided for Ubuntu, pre-built image also have libraries dependancies that may cause problems.

sudo apt-get install qt5-default
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


To keep system up to date:

sudo apt-get update
sudo apt-get upgrade
sudo apt-get dist-upgrade
sudo apt autoremove --purge
sudo apt clean
dpkg --list | grep linux-image
dpkg --list | grep linux-headers
sudo apt remove --purge linux-headers-x.x.x
du -ks /lib/modules/*


Network interfaces numbering

To rename network interface eth or wlan:

sudo vim /etc/default/grub
GRUB_CMDLINE_LINUX="net.ifnames=0 biosdevname=0"

sudo update-grub
sudo reboot

Broadcom Wireless driver in 4.15 kernel

sudo dpkg -i bcmwl-kernel-source_6.30.223.271+bdcom-0ubuntu1~1.3_amd64.deb

Mac Mini automatic reboot

Mac Mini requires power button to be pushed after power failure. To allow the system to power up automatically:

lspci | grep LPC
00:1f.0 ISA bridge: Intel Corporation HM77 Express Chipset LPC Controller (rev 04)
sudo setpci -s 0:1f.0 0xa4.b=0

HP thunderbolt dock

To enable Thunderbolt dock:

 ● HP Thunderbolt 3Dock
   ├─ type:          peripheral
   ├─ name:          HP Thunderbolt 3Dock
   ├─ vendor:        HP Inc.
   ├─ uuid:          e0010000-0091-8718-22f9-e396b311f31d
   ├─ status:        connected
   │  ├─ domain:     domain0
   │  └─ authflags:  none
   ├─ connected:     Thu 12 Mar 2020 05:38:29 PM UTC
   └─ stored:        no
sudo boltctl enroll --policy auto e0010000-0091-8718-22f9-e396b311f31d



sudo apt update && sudo apt upgrade
sudo apt install git cmake make xorg-dev g++ libcurl4-openssl-dev \
                 libavahi-compat-libdnssd-dev libssl-dev libx11-dev \
                 libqt4-dev qtbase5-dev
git clone --depth=1
cd barrier
cd build
sudo make install
sudo geany /usr/share/applications/barrier.desktop
[Desktop Entry]
Comment=Keyboard and mouse sharing tool.