Posts

Linux

[Raspberry Pi 4] Install Nginx and Obtain an SSL Server Certificate from Let's Encrypt

Overview Since I installed Ubuntu 20.10 on a Raspberry Pi 4, I migrated the mail server and WordPress running on my …
LinuxRaspberryPiUbuntu
Emacs

[Emacs] Use Emacs 27 on Windows 10

To use Emacs on Windows, GNU's official build was effectively hard to use, and comfortable Japanese input required a …
EmacsWindows
RaspberryPi

[Raspberry Pi 4] Headless Installation of Ubuntu 20.10: Installing Without a Keyboard or Display

Overview This is about installing Ubuntu 20.10 on a Raspberry Pi 4. I did not have a MicroHDMI cable, so I installed and …
RaspberryPiUbuntuHome Server
Windows

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
Docker

[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 …
DockerLinux
Ubuntu

[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. …
Ubuntu
RaspberryPi

[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

[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 …
Emacs
Wordpress

[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. …
Wordpress
Linux

[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