I have a router running FreshTomato using DDNS addresses for the allow list on my port forwards. This works well except that when save is pressed on the port forwards screen the DNS address is resolved to an IP address and cached. Is there a command I can run on […]
Yearly Archives: 2026
1884 posts
I have a polling script that will occasionally pop out the name of a file to delete. The file to delete will always be located on an NFS-mounted filesystem. So I wrote this Bash script: #!/bin/bash /usr/local/bin/polling.sh | while read FILE_TO_DELETE; do rm "${FILE_TO_DELETE}" done When this script is run, […]
Problem: I want my Heading 1 style to be numbered 1, 2, 3… and I want my Heading 2 style to be numbered a, b, c… with sublevels 2, so that I get my headings like this: 1 Heading 1 1a Heading 2 1b Heading 2 2 Heading 1 2a […]