Skip to content

Instantly share code, notes, and snippets.

View mikesea's full-sized avatar

Mike Chlipala mikesea

View GitHub Profile
startdate=2015-01-01
enddate=`date "+%Y-%m-%d"`
startDateTs=`date -j -f "%Y-%m-%d" $startdate "+%s"`
endDateTs=`date -j -f "%Y-%m-%d" $enddate "+%s"`
dateTs=$startDateTs
offset=86400
while [ "$dateTs" -le "$endDateTs" ]
do