disable input device like a touchpad und linux

You get a list of all input devices with the command “xinput list“. You will need the id of the device you want do disable or enable. Here is an example output of this command:

To disable (0) or enable (1) the touchpad with id=12 you can use these commands:


error: symbol ‘grub_efi_find_last_device_path’ not found

Updating to the latest grub version leads to “error: symbol ‘grub_efi_find_last_device_path’ not found” on my dual boot system having Ubuntu 15.10 next to Windows 10.

This can be fixed by downgrading to the version before the latest one in the ubuntu repository till this bug is fixed.

Here is how I downgraded my grub installation:

Without the hold line apt would install the latest version on the next upgrade. As soon as the bug is fixed you can remove the hold mark with

IntelliJ use system proxy settings

  • Go to the IntelliJ installation folder and open the bin-directory
  • Add “-Djava.net.useSystemProxies=true” at the end of the idea64.vmoptions file (without 64 on a 32-bit system)
  • Restart IntelliJ and configure it to automatically configure proxy (Settings > Appearance & Behavior > System Settings > HTTP Proxy)

hwclock problems with dual boot

My English version of Windows 10 and Ubuntu 16.04 could not agree whether my hwclock is UTC or not. So booting either Window or Linux changed my hwclock and then the time in the other OS was wrong. So I changed my hwclock to UTC and told Windows and Linux that my clock is set to UTC:



Open the file (as superuser)

and add or change UTC=yes

Static IP-Configuration

In this example eth0 should get a static ip. This can be done by editing

This is the entry to configure gateway and dns-server.

Rotate Monitor under Linux

I have a pivot monitor and want to set it up correctly. First you get a list of your connected displays with the command

This says something like

HDMI-0 connected 1920×1200+1920+0 (normal left inverted right x axis y axis) 593mm x 371mm
1920×1200     59.95*+  59.88
1920×1080     60.00    59.94    50.00    60.05    60.00    50.04
1680×1050     59.95
1600×1200     60.00
1440×900      59.89
1400×1050     59.98
1280×1024     75.02    60.02
1280×960      60.00
1280×720      60.00    59.94    50.00
1152×864      75.00
1024×768      75.03    70.07    60.00
800×600       75.00    72.19    60.32    56.25
720×576       50.00    50.08
720×480       59.94    60.05
640×480       75.00    72.81    59.94    59.93
480×576       50.00
480×480       59.94

And if you have more than one displays this is repeated with e.g. HDMI-1 if bot are connected via HDMI. For display port it says DP-0 and so on.

To rotate this display there are the the following commands: