elmicha

I use ctrl-r.

The Raspberry Pi Zero in USB gadget mode can be used for GPIO. If you don’t want to setup gadget mode, get Pi Zero W.

Also there’s a timeout setting in the same file.

You can update and it won’t break anything, because Intel microcode won’t be loaded into AMD CPUs. If you run apt show intel-microcode it tells you that there is a amd64-microcode package as well. If it is not already installed, you can install it, and then try to remove intel-microcode. If it doesn’t want to remove anything else (e.g. the kernel), you can remove it. If not, just leave it installed.

Or just use completion: press tab once or twice after the ssh command (and a space). If that doesn’t work, install the bash-completion package.

We could use Ctrl+Insert and Shift+Insert like in the last three decades, but some of these keyboards apparently forgot about the Insert key.

That reminds me: when I bought an MSI monitor (15" without touch) it also came with one USB-C to USB-C cable. All my other USB-C cables did not work for video.

But if the Windows has an OEM license, it can’t be used inside a VM, as far as I understand.

I just looked, and Chimera also offers distrobox. I didn’t have the need to really use it yet, but it sounds like it would be the best because of its desktop integration.

I’m using sftp in Keepass2Android to sync the file while I’m at home. When I’m not at home, it uses the local copy on the phone.

When the password file has changed on my home server and on the phone, Keepass2Android will ask if it should merge the databases. I’m not sure what Syncthing would do in that situation.

I agree. zgrep also works for uncompressed files, so we could use e.g. zgrep ^ instead of zcat.

Search for /run/user/1000/gcr/ssh on the Internet. I’m on my phone and didn’t find the solution, but I’m sure you’ll find it.

But which separator is it, and which line ending? ASCII, UTF-8, UTF-16 or something else? What about quoting separators and line endings? Yes, there is an RFC, but a million programs were made before the RFC and won’t change their ways now.

Also you can gzip CSV and still stream them.