diff options
author | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2012-03-16 01:14:56 -0400 |
---|---|---|
committer | Daniel Kahn Gillmor <dkg@fifthhorseman.net> | 2012-03-16 01:21:54 -0400 |
commit | df0fa237a75d9651a441c347ec9feaf453b30ad6 (patch) | |
tree | b0ff575d3a06a11eac3f9c9c85866ec7d9da262f /src/share/mh/set_expire | |
parent | 297eddbd0194745e17946d0260872aa6d00fd692 (diff) |
use date somewhat more portably
Diffstat (limited to 'src/share/mh/set_expire')
-rw-r--r-- | src/share/mh/set_expire | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/share/mh/set_expire b/src/share/mh/set_expire index f9a5507..371cd76 100644 --- a/src/share/mh/set_expire +++ b/src/share/mh/set_expire @@ -64,7 +64,7 @@ if [ 0 == "$extendBy" ] ; then log info "Key ${keyID} no longer expires." else if expiry=$(gpg_host_list_keys "${keyID}" | grep ^pub: | head -n1 | cut -f7 -d: ) ; then - log info "Key ${keyID} now expires at $(date '+%F %T' --date "1970-01-01 0:00 UTC + ${expiry} seconds")" + log info "Key ${keyID} now expires at $(print_date_from_seconds_since_the_epoch ${expiry})" else log error "Failed to retrieve new expiration date for key ${keyID}" fi |