Posts

How to Change the Search Engine in the New Chromium-Based Microsoft Edge from Bing to Google

Microsoft Edge became Chromium-based, so I have been trying it out. For now, searching with Bing feels odd to me, so …

[Windows] How to Move Docker Desktop's Disk Space from the C Drive to Another Drive

Since WSL2 became available, I decided to try Docker on Windows too. When Docker Desktop is installed, it automatically …

[Ubuntu] After Setting Up a Ramdisk on Raspberry Pi, nginx and MySQL Stopped Starting, So I Handled It with rc-local

To extend the life of the Raspberry Pi SD card, I made /var/log a Ramdisk, and then nginx and MySQL stopped starting. …

[Raspberry Pi] apt Started Failing After I Put tmp on a Ramdisk

I configured a Ramdisk to extend the life of the SD card. After that, when I upgraded the kernel with apt, an error …

RaspberryPiUbuntu

[Emacs] Cannot Send Mail with Mew 6.8 on Windows 10

When I tried using Mew on Windows, I got stuck sending mail through the submission port. Even when I wrote an email in …

[WordPress] Change VCCW's PHP Version to 7.4

The VCCW environment I use to verify WordPress behavior had a different PHP version from production, so I aligned them. …

[Raspberry Pi 3] Initial Ubuntu Settings on Raspberry Pi, Including How to Change the Hostname

A memo series for Raspberry Pi-related work. This continues the initial setup: changing the hostname, setting a static …

LinuxUbuntuHome Server

[Raspberry Pi 3] How to Change Only the Ubuntu Username Without Changing the User ID (uid)

This continues from [Raspberry Pi 3] Installing Ubuntu 18.04 LTS (No Keyboard or Display Required). Leaving the user and …

LinuxUbuntuHome Server

[Raspberry Pi 3] Installing Ubuntu 18.04 LTS (No Keyboard or Display Required)

A memo from setting up a home server on a Raspberry Pi. This covers installing Ubuntu on the Raspberry Pi and logging in …

LinuxUbuntuHome Server

Export PuTTY / Pageant Settings and Use Them on Another PC

PuTTY does not have an export feature for settings, so when you switch PCs you may wonder what to do. PuTTY settings are …