ichbean

To be fair, Firefox on desktop doesn’t let you add custom search engines, by default. Unless you flip magic key browser.urlbar.update2.engineAliasRefresh to true.

If you’re new to SQL there’s interactive Select Star SQL tutorial. And there’s another detective — SQL Murder Mystery

These thumbstick locks look flimsy, I wouldn’t rely on these.

The way I did it with systemd-boot was:

1. Have Windows and Arch on separate drives.
2. Make the drive with arch the default boot device from UEFI.
3. Copy EFI/Microsoft from boot partition on Windows drive to /boot/EFI on Arch drive

This is what my /boot partition looks like:

├── EFI
│   ├── BOOT
│   ├── Linux
│   ├── Microsoft
│   └── systemd
├── initramfs-linux-fallback.img
├── initramfs-linux.img
├── loader
│   ├── entries
│   │   └── arch.conf
│   ├── entries.srel
│   ├── loader.conf
│   └── random-seed
├── 'System Volume Information'
└── vmlinuz-linux

699 €

Yeah, no thank you.

Funny. This is when I stopped reading the comics. Haven’t watched a single episode of the TV show.

Years later I learnt he survived the shot.

I’m curious about that dot shading, looks like print. Is it some kind of halftone stamp?

Arch doesn’t have zsh installed by default. In case people wanted this profile - it’s in extra grml-zsh-config.

Why do you think you need to update packages on Arch every single day?

Have you tried to reboot your PC?

I recommend using the environment variable. Place a text file, steam.sh for example, into ~/.config/plasma-workspace/env/ containing

!/bin/sh
export STEAM_FORCE_DESKTOPUI_SCALING=2.0

Check Settings > Devices > Displays > Scale. There should be 200% scale option.

except maybe the fact that it uses batteries

I disagree. Because of swappable batteries my controller is still relevant 7 years and half worn down stick later.

If I were to complain, it’s about unpleasant hollow sound on trackpads and L1/R1 button clicks.

This is not Xiaomi’s fault, it’s Google’s

Gestures worked fine on MIUI 11. In the initial A12 update gestures stopped working, but you could at least circumvent it by using 3rd party gestures app like Edge Gestures. Then, a few months later Xiaomi released the update that killed even app gestures. That’s when I said fuck it, and installed a custom ROM, where gestures work with any launchers.

What’s your experience with full screen gestures and custom launchers, Pixel owners?