Linux

• 2022/04/21 VPN remote desktop with tailscale and x11vnc
• 2022/02/21 Raspberry pi laptop
• 2022/02/14 Raspberry pi: set numlock at boot
• 2021/12/08 Globally replace a font in linux
• 2021/02/15 Setting up a streaming webcam on raspberry pi
• 2017/12/20 How to Fix the “Media change” error on a Debian-based system