Blog Posts tagged with: misc Website theme redesign - 2023.11.29 It's much prettier now Automatic syncing of modified files with remote server - 2020.09.04 inotifywait is a nice little tool