English Windows keyboard with German umlauts

I frequently write in multiple languages and switching keyboards is cumbersome, especially when the written languages differ only by a few characters. With regard to German, I'd like a US Windows keyboard layout with German umlauts that are a bit easier accessible than the 3-stroke combination of the US international layout (which has combinations like … Continue reading English Windows keyboard with German umlauts →

Eclipse freezes on Windows 10 creator’s update

Symptoms: Eclipse used to work fine under Windows 10, suddenly hangs short after start. Solution: uninstall Linux subsystem or don't use Git in Eclipse Explanation: the Eclipse egit plugin looks for bash, which normally doesn't exist on Windows. When the Windows subsystem for Linux is installed, bash does exist, but blocks with a message ("click … Continue reading Eclipse freezes on Windows 10 creator’s update →

Running windows games with steam on a hybrid graphics card

I don't play much, but when I do, it's Sid Meier's Civilization on a Windows installation boxed into a VM. Earlier this year I got tricked by a Humble-Bundle offer into buying Civilization V, which came with the "trojan horse" of a steam account. Had I known the prerequisite of a Steam account before hand, … Continue reading Running windows games with steam on a hybrid graphics card →