Linux

Docker

[Raspberry Pi 4] Run WordPress with Docker

Overview These are notes from setting up WordPress with Docker. Nginx is already running on the host side, and an SSL …
Linux

[Raspberry Pi] After Switching from docomo Hikari to NURO Hikari, I Stopped PPPoE and Switched to Normal Port Forwarding

As the title says, NURO Hikari lets me open ports without particular restrictions, so I stopped PPPoE on the Raspberry …
Docker

[Raspberry Pi 4] Build a Mail Server (Postfix + Dovecot) with Docker

This time, I use Docker to start a mail server and handle the various settings around it. Overview I use Postfix and …
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 …
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 …
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 …
Linux

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

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

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

How to Directly Edit Ubuntu or CentOS Files from Emacs for Windows - Emacs Tramp

I use Ubuntu and CentOS with VirtualBox + Vagrant. Sometimes I need to edit files such as Java, JavaScript, or CSS …