Use a format for linux_banner