All articles / Category
Linux
Hands-on Linux notes: file permissions, systemd services, logs and everyday server administration.
Troubleshooting UnixLocal Workspace I/O and Cancellation Safety
UnixLocal workspace I/O and cancellation involve two separate correctness boundaries: keeping workspace operations away from the event loop, and preserving worker ownership until a cancellation-safe operation has completed. The upstream implementation and its regression tests provide bounded evidence for both boundaries.
Flashing the CC2652P Chip Using CH9102X
Flash the CC2652P coordinator with a CH9102X USB-Serial adapter for Zigbee2Mqtt. A step-by-step guide to updating the firmware.
File Permissions in Linux (chmod)
Learn how to change file and directory permissions in Linux with chmod, using symbolic, numeric, recursive and bulk permission methods.
Managing systemd services in Linux
Learn how to start, stop and restart Linux services with systemctl, service and /etc/init.d scripts. Administrator privileges are required.
Adding your own systemd service in Linux
Learn how to add a Linux service with systemd and systemctl, then enable it to start automatically at boot. Administrator privileges are required.
Viewing logs in Linux (systemctl and journalctl)
Learn how to view Linux process logs with systemctl status and journalctl, including full logs. Administrator privileges are required.
Checking the file system on the next reboot (fsck)
Learn how to force fsck at the next reboot and configure regular filesystem checks in Linux using tune2fs.
Copying files over SSH (scp)
Learn how to copy files over SSH with SCP: from your computer to a server, back again, or directly between two Linux servers.
Adding a User to a Group in Linux (usermod)
Learn how to create Linux groups, add existing or new users, and grant sudoers access. A root account is required.
Searching for Files in Linux (find and fd)
Use the Linux find command to search files by name, extension or date, then delete matches or change their permissions in bulk.
Your Own OpenVPN Server on mikr.us
Run your own OpenVPN server on mikr.us and securely access your local network, home automation, file server or printer remotely.
Setting and changing a user password in Linux (passwd)
Learn how to set or change passwords in Linux for users, administrators and groups.