RaspberryPi[Raspberry Pi] apt Started Failing After I Put tmp on a RamdiskI configured a Ramdisk to extend the life of the SD card. After that, when I upgraded the kernel with apt, an error …2020.05.03RaspberryPiUbuntu
Linux[Raspberry Pi 3] Initial Ubuntu Settings on Raspberry Pi, Including How to Change the HostnameA memo series for Raspberry Pi-related work. This continues the initial setup: changing the hostname, setting a static …2020.03.15LinuxUbuntuHome Server
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 …2020.03.14LinuxUbuntuHome Server
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 …2020.03.14LinuxUbuntuHome Server
EmacsHow to Directly Edit Ubuntu or CentOS Files from Emacs for Windows - Emacs TrampI use Ubuntu and CentOS with VirtualBox + Vagrant. Sometimes I need to edit files such as Java, JavaScript, or CSS …2020.02.28EmacsLinuxUbuntu
UbuntuRegularly Update Dynamic DNS for a Custom Domain Registered with Onamae.com from UbuntuI registered a domain with Onamae.com, so I set up DDNS to automatically register the IP address of my home server. …2019.12.07UbuntuHome Server
UbuntuAdd the Japanese Locale to Ubuntu 19.10Even if you set LANG=ja_JP.UTF-8, if the locale definition does not exist you will see error messages like the …2019.12.07Ubuntu
UbuntuFirewall Settings on Ubuntu 19.10Since the machine connects directly to an external network over PPPoE, I enable the firewall. $ sudo ufw allow 80 $ sudo …2019.12.06UbuntuHome Server
UbuntuConnect with PPPoE and Open Ports on Ubuntu 19.10This is a memo from researching what to do when I wanted to run a home server in an environment with IPv6 but could not …2019.12.06UbuntuHome Server