Helpful time setting command

Command to set the time of an IPMI card:
DATE=`date "+%m/%d/%Y %H:%M:%S"`; ipmitool -H 10.0.1.1 -U Admin sel time set "${DATE}"

where 10.0.1.1 is the IP of the card in question.  There's probably a more elegant method, but this works for now.