Azure diaries: InUseSubnetCannotBeDeleted

When re-deploying a Bicep template that defines a vnet with subnets, I get the error "InUseSubnetCannotBeDeleted". It seems like ARM is trying to re-create the nested subnets, even though they haven't changed. The solution is to add a redundant reference to all subnets via the "existing" keyword. resource websiteVnet 'Microsoft.Network/virtualNetworks@2021-02-01' = { name: 'vnet${sfx}001' location: … Continue reading Azure diaries: InUseSubnetCannotBeDeleted →

The universe is (probably) not a simulation

If this is a simulation, then the universe running it must be, too The simulation hypothesis [1] assumes that if it is possible to simulate a universe in some cosmological frame, it is probably happening already. The extrapolation leads to the conclusion that sentient inhabitants of a simulated universe would also run simulations, whose dwellers … Continue reading The universe is (probably) not a simulation →

Skype/Snap menus are blank

Under Ubuntu 22.04, when Skype is installed as a snap, some menus are blank (+ it keeps freezing the entire computer sometimes). There's a simple workaround [1]: disable "access to opengl" in the snap store properties. I don't know, yet, what else this'll break... but we'll find out soon. [1] Some snap application menus don't … Continue reading Skype/Snap menus are blank →

Eclipse crashing under Ubuntu

A quick one: Eclipse (2023-06) + Java (openjdk 17.0.7) under Ubuntu 22.04 crashes after a bit of interaction with this message: C [libwebkit2gtk-4.0.so.37+0xbbe3b6]. It's Wayland, but there's an easy workaround [1]: env WEBKIT_DISABLE_COMPOSITING_MODE=1 ./eclipse Resources [1] Eclipse IDE crashing with Java errors since 22.04 upgrade when using waylandhttps://bugs.launchpad.net/ubuntu/+source/openjdk-lts/+bug/1988843/comments/5

Ubuntu gesture volume control

I don't like Windows much, but I loved Windows 11 sound volume control via three-finger touch pad gestures, so I ported that behaviour to Ubuntu 22.04. The script [TVC] listens to events from a touchpad device, detects three-finger taps and modifies the sound volume depending on the vertical scroll direction. Installation Download the script from … Continue reading Ubuntu gesture volume control →