幸い、DateFormatter.Style.fullの結果がmacOSとLinuxで違ってるのが検出できていない程度で済んだ。 @swift-4.1.3

import Foundation func format(_ date: Date) -> String { let formatter = DateFormatter() formatter.dateStyle = .none formatter.timeStyle = .full formatter.locale = Locale(identifier: "en_US_POSIX") formatter.timeZone = TimeZone(identifier: "GMT") return formatter.string(from: date) } print(format(Date(timeIntervalSince1970: 1000))) // macOS: "12:16:40 AM Greenwich Mean Time" // Linux: "12:16:40 AM GMT"

(edited)