Categories
Snippets

Configure Python on Windows

All right, I have a Windows machine. It’s a PITA, but it’s here. And for some reason I started doing some Python testing on it. So this is how I managed to do it: Preparation: Install python with choco (choco install -y python) Run PowerShell as Administrator Execute Set-ExecutionPolicy -ExecutionPolicy Unrestricted (we’ll see why in […]

Categories
Snippets

autohotkey

Under macOS I use TextExpander, under Windows there’s the fantastic AutoHotkey. One of the few softwares I can’t live without. This is my default configuration: ; ———- “auto reload” ———- FileGetTime ScriptStartModTime, %A_ScriptFullPath% SetTimer CheckReload, 1000, 0x7FFFFFFF ; ms & priority ; from here: https://stackoverflow.com/a/45488494 CheckReload() { global ScriptStartModTime FileGetTime curModTime, %A_ScriptFullPath% If (curModTime <> […]

Categories
Desktop shit

Win10 & Veracrypt & systemd-boot

There are some things seemingly nobody does. For example, … double-booting Win10 and Linux on an UEFI System while the Win10 Partition is encrypted using VeraCrypt. Yes, it’s a complex scenario, but since MS in all of his (money-grabbing) wisdom does not include BitLocker in Win10 Home, this is a necessary precaution. I’ll not go […]

Categories
Uncategorized

Windows after 13 years – and nothing changed

I have a Windows PC again, after about 13 years of abstinence and never looking back. (Why? Gaming. Once in 13 years is OK I guess). And nothing changed. Step 1: Uninstalling crap Uninstall those things from the Windows menu: Candy Crush, Cooking Fever, and three others I forgot to document. It’s a pristine ISO […]