Deriving unique server IDs from IP addresses
AWK scripts for converting between IP addresses and decimal numbers – and why this makes a reliable source of unique server IDs for MySQL replication clusters and other distributed systems.
Linux
Linux administration, troubleshooting and operations on production systems.