chiark / gitweb /
timesyncd: read server settings from a configuration file